スポンサーリンク
名古屋大学 大学院情報科学研究科 | 論文
- 複数映像統合による車載カメラ映像からの移動物体除去(一般セッション,一般物体認識・画像特徴量)
- 車載カメラ映像からの学習サンプルの自動収集による標識検出器の高精度化に関する検討 (パターン認識・メディア理解)
- 放送映像における準同一映像区間の出現パターンによる分類(一般セッション4,コンピュータビジョンとパターン認識のための学習理論)
- 放送映像における準同一映像区間の出現パターンによる分類(一般セッション4)
- 動的な人的ネットワーク上での情報共有を考慮したワークシェアリング実施手法の提案とシミュレーションによる評価
- 実進化型2足歩行ロボットシステムへの先行評価の導入
- シャローな依存対から構成される項書換え系の停止性の決定可能性
- 基本対称関数を付加したCNF論理式の充足可能性判定
- 制約付き項書換え系の定理自動証明における等式の方向付けのための簡約化順序
- プレスブルガー文付き項書換え系における書換え帰納法について
- 例外処理付きオブジェクト指向プログラムにおける情報流の安全性解析のための型システム(ディペンダブルコンピューティング)
- 等式を規則化する変換の停止条件
- 単純型付き項書き換え系における静的依存対法とその周辺
- 動的型言語への柔らかい型付けによるエラー検出
- プログラム生成系GeneSysにおける等式仕様への否定の導入
- 導出木からのループ検出による論理プログラムの非停止性証明法
- 振舞等価性の証明のための等式付き書換えに基づく潜在帰納法
- 左線形な定向条件付き項書換え系における到達可能な項集合の近似集合を認識する木オートマトン
- ヒューマンインタフェースシンポジウム2009報告
- 名古屋大学における統合サーバの構築と運用(教育システム,サービス管理,ビジネス管理,料金管理,及び一般)