スポンサーリンク
名古屋大学 情報科学研究科 | 論文
- オンラインビデオアノテーションの現状と課題
- Maudeによる否定を含んだ構造操作意味定義インタプリタと等価性検証器の構築
- Maudeによる否定を含んだ構造操作意味定義インタプリタと等価性検証器の構築
- 通信プロセスモデルによるAIBO OPEN-Rプログラムのデッドロックフリー解析手法(検証/テストとデバッグ,組込みシステム工学)
- 5V-8 地図情報に基づく個人用知的移動体の柔軟な屋内自動走行(ナビゲーション,学生セッション,ネットワーク)
- タグクラウド共有に基づく協調的映像アノテーション
- SFQ半精度浮動小数点乗算器の設計と試作(デジタル,一般)
- SFQ半精度浮動小数点加算器の設計と試作(デジタル,一般)
- C-8-10 SFQ浮動小数点乗算器の同期化および動作実証(C-8.超伝導エレクトロニクス,一般セッション)
- Apache Cocoon Flowscriptのモデル検査によるWeb応用プログラムの動作検証
- 3V-6 個人用知的移動体による移動障害物回避(ITS,学生セッション,ネットワーク)
- Haskellのための非同期局所化π計算に基づくネットワークプログラミングフレームワーク
- 通信プロセスに対する文脈変換手法を用いたモデル検査
- テスト等価性に基づいた視覚的LTSモデル操作によるプロセス代数デバッガ
- テスト等価性に基づいた視覚的LTSモデル操作によるプロセス代数デバッガ(並列・分散)
- 正則な実時間通信プロセスに対するテスト擬順序の記号的特性化
- 診断テスト生成に基づくラベル付遷移システムのグラフィカル・デバッガ
- トランスダクション法に基づく単一磁束量子回路合成のためのフレームワーク
- 洞察問題解決プロセスに関する認知科学的研究(創発システム,人工知能分野における博士論文)
- MOMI : 音楽メタ情報記述のためのフレームワーク