本文へジャンプ

新着情報

  • 2015年09月25日
    小林さんが EC2015で「楽譜を用いた楽器音分離手法の提案」を発表しました
  • 2015年09月23日
    飯田さんが Austin で行われた Pragmatics of SAT (PoS 2015)で Proposal and Application of Search Similarity Index for SAT solver で発表しました。
  • 2015年09月21日
    小泉さんが Austinで行われたMEMOCODE 2015 デザインコンテストで1 位をとりました。賞金 $1500♪
  • 2015年07月18日
    西野さんがニューロコンピューティング研究会で「ベイジアンネットワークの生成に基づく特徴抽出」を発表しました
  • 2015年05月30日
    文さんが人工知能学会全国大会で「変数のindexのshuffleによる多様性効果について」発表しました
  • 2015年05月30日
    尾崎さんが人工知能学会全国大会で「大規模ネットワークにおけるコミュニティ検出手法の高速化」を発表しました
  • 2015年05月30日
    戸ヶ崎さんが 人工知能学会全国大会で 「SAT問題における Community rank の提案」を発表しました
  • 2014年07月14日
    薗部さんがウィーンで行われたSAT2014 で Community Branching for Parallel Portfolio SAT Solvers を発表しました
  • 2012年06月25日
    薗部さんが Catania (Italy) で行われたLION7で Portfolio with Block Branching for Parallel SAT Solvers を発表しました
  • 2012年03月25日
    山田さんが INTENSIVE 2012 で Grid Spider: a Framework for Data Intensive Research with Data Process Memoization Cache を発表しました