スポンサーリンク
名古屋大学大学院 情報科学研究科 | 論文
- 基本対称関数に基づく節をもつCNF論理式の充足可能性判定(計算論,計算モデル)
- 言語グリッドを用いたプレゼンテーションスライドの日英翻訳の試み(言語グリッド)
- ジェスチャインタフェースのための指先動作軌跡の統計的分割と正規化(信号処理,知的マルチメディアシステム,及び一般)
- ジェスチャインタフェースのための動作軌跡信号の統計的分割と認識(セッション4 : 理解るインタフェース : 手+足+触覚)
- 組込みシステムのタスク内DVFSのための実行トレースマイニング(コンパイラ,システムオンシリコンを支える設計技術)
- 天文教育におけるマルチプラットフォームコンテンツ生成のためのフレームワーク構築(仮想都市,複合現実感,及び一般)
- 街並み画像系列と2台の車載カメラの画像系列との照合による自車の走行位置推定(テーマセッション1,移動カメラ画像処理におけるパターン認識とメディア理解)
- ビットエラー通信路におけるスケーラブルCANの動作解析
- 1921 スキーマ貪欲法のBOAとの比較について(OS-19D 進化的最適化,OS-19 計算力学と最適化)
- 複数映像統合による車載カメラ映像からの移動物体除去(一般セッション,一般物体認識・画像特徴量)
- 天文教育における学芸員を支援するためのICTの活用とその効果
- シャローな依存対から構成される項書換え系の停止性の決定可能性
- 基本対称関数を付加したCNF論理式の充足可能性判定
- 制約付き項書換え系の定理自動証明における等式の方向付けのための簡約化順序
- プレスブルガー文付き項書換え系における書換え帰納法について
- 例外処理付きオブジェクト指向プログラムにおける情報流の安全性解析のための型システム(ディペンダブルコンピューティング)
- 動的型言語への柔らかい型付けによるエラー検出
- 対話型埋込みによる数独問題の設計ツール
- 導出木からのループ検出による論理プログラムの非停止性証明法
- 左線形な定向条件付き項書換え系における到達可能な項集合の近似集合を認識する木オートマトン