スポンサーリンク
名古屋大学大学院 情報科学研究科 | 論文
- 近傍ハッシュ法によるエラー許容頻出パターン列挙(一般セッション3)
- RC-007 タスク割当てアルゴリズムにおける消費電力削減のためのDVS適用タスク選択機構(ハードウェア・アーキテクチャ,査読付き論文)
- 幾何学的位置関係に基づく地図検索
- 多点対カット問題に対する集合被覆アプローチに基づく近似解法
- LA-004 Analysis of an Edge Coloring Algorithm Using Chernoff Bounds
- Chernoff Bounds を用いた辺彩色アルゴリズムの解析
- DS-1-13 A Path Relinking Approach with an Adaptive Mechanism to Control Parameters for the Vehicle Routing Problem with Time Windows
- モーフィングによる交差点鳥瞰映像の生成および事故現場検証への応用(一般セッション,センシングのための認識・理解)
- モーフィングによる交差点鳥瞰映像の生成および事故現場検証への応用(一般セッション,センシングのための認識・理解)
- モーフィングによる交差点鳥瞰映像の生成および事故現場検証への応用(一般セッション,センシングのための認識・理解)
- 知識べースに基づいた相互関連タスクの実行制御機構
- 知識に基づく相互関連タスクの協調制御機構
- 等式理論を法とするDPLL遷移系について
- P2Pを用いた検索語共有によるWeb検索支援システム(数理モデル一般)
- スキーマどん欲法の検討と拡張について
- モデル生成法に基づくJavaScriptプログラム型検査の機械実行(ソフトウェア,フォーマルアプローチ論文)
- モデル生成に基づくJavaScriptプログラムの型検査系
- モデル生成に基づくJavaScriptプログラム型検査のためのフロントエンド
- オブジェクト指向プログラムに対するMessage Not Understood フォールト検知のための型検査アルゴリズム
- 項書き換え系のための並列計算機アーキテクチャ