スポンサーリンク
京都大学工学部情報工学教室 | 論文
- 算術演算回路検証のための二分モーメントグラフの高速生成手法
- 1. 論理関数処理に基づく形式的検証手法 ( 論理設計の形式的検証)
- 形式的設計検証のための分岐時間正則時相論理
- 時相論理と言語階層の対応関係について(計算および計算量理論とその周辺)
- 有限オートマトンと表現等価な正則時相論理とその論理設計検証への応用
- 線形時間のモデルチェックアルゴリズムを持つ正則時相論理と変数代入機構による拡張
- On Design Varification between Different Levels of Abstraction Using Regular Temporal Logic
- 正則時相論理の充足可能性判定アルゴリズム
- アーキテクチャの立場からみた超並列処理 (超並列処理)
- 高度情報環境におけるプライベート仮想ライブラリ
- 高度情報環境におけるプライベード仮想ライブラリに関する考察
- P2P 基盤ソフトウェアmusasabi の仮想ピアにおける通信方式
- 1.5MLIPS40ビット推論プロセッサ
- 一対多赤外線通信プロトコルとその情報ベースアクセスへの応用
- 協調プロトコル記述言語AgenTalkの機能拡張の検討
- 音声対話に基づく知的情報検索システム
- 音声対話システムのための対話の認知プロセスモデル
- F0パターンに基づく講義音声の文単位へのセグメンテーション
- 発話検証に基づく音声操作プロジェクタとそれによる講演の自動ハイパーテキスト化 (音声言語情報処理)
- 文法カテゴリ対制約を用いたA^*探索に基づく大語彙連続音声認識パーザ (音声言語情報処理)