スポンサーリンク
国立情報学研究所:総合研究大学院大学 | 論文
- 電力取り引きにおける約定量決定問題の高速解法
- Event-Bで書かれたシステム要求仕様の妥当性検査
- パターンマイニングの新しい落としどころ : クラスタリングを用いたパターンマイニング(コンピュータビジョンとパターン認識のための機械学習と最適化,一般)
- パターンマイニングの新しい落としどころ : クラスタリングを用いたパターンマイニング(コンピュータビジョンとパターン認識のための機械学習と最適化,一般)
- 『乾隆京城全図』と古写真を用いた北京古景観の再現
- Event-Bデザインのモデル検査における抽象化(モデル表記・モデル検査)
- ディジタルハーフトーニングへの応用に向けての魔方陣の一般化(2)
- ディジタルハーフトーニングへの応用に向けての魔方陣の一般化(1)
- ディジタルハーフトーニングへの応用に向けての魔方陣の一般化(2)
- ディジタルハーフトーニングへの応用に向けての魔方陣の一般化(1)
- 特集「組込みシステム工学」の編集にあたって
- 実環境における進化ロボティクスと対話的設計
- 対話的進化ロボティクスにおけるアクティブ教示法
- 対話的進化ロボティクスにおけるアクティブ教示法
- Eighteenth International Joint Conference on Artificial Intelligence(IJCAI-2003)(会議報告)
- 論理コンピューティング(知能コンピューティングとその周辺〔第10回〕)
- (3)推論, プランニング(会議報告)
- 会議報告 IJCAI-01
- 最小ユーザフィードバックの枠組みとその要素技術 (特集 知的インタラクティブシステムのための最小ユーザフィードバック)
- 論理プログラムの解集合意味論に関する証明系(「定理証明, 推論関係の新技術」)