スポンサーリンク
名古屋大学大学院 情報科学研究科 | 論文
- 分枝限定法 : さらなる計算効率の希求(堅く柔らかく…数理計画アプローチ再訪)
- 2-A-3 MAX-2-SATに対する分枝限定法の改良(離散最適化(3))
- 1-A-5 矩形パッキング問題に対する厳密解法(離散最適化(2))
- MAX-2-SATに対する分枝限定法
- 矩形パッキング問題に対する厳密解法
- MAX-2-SATに対する分枝限定法(組合せ最適化(4))
- 部分空間法を用いた胸部X線CT像からの肺結節陰影認識における精度低下要因の分析
- 部分空間法を用いた肺結節陰影自動認識手法の改良(肺CT, 医用画像一般)
- D-16-4 局所濃淡構造を用いた3次元胸部X線CT像からのリンパ節抽出(D-16.医用画像,一般講演)
- 3次元腹部X線CT像からの局所濃淡構造解析を用いた血管領域およびリンパ節抽出手法の検討
- D-16-13 3次元腹部X線CT像におけるVascular Navigation Systemの基礎的検討(D-16.医用画像,一般講演)
- LDAP-ICカード認証連携による移動ユーザプロファイル設定と共有端末への適用(情報セキュリティ応用)
- Sambaを利用した移動ユーザプロファイルの構築とICカード認証連携(セッションA-1:認証技術(1))
- 通信プロセスに対する文脈変換手法を用いたモデル検査
- テスト等価性に基づいた視覚的LTSモデル操作によるプロセス代数デバッガ
- テスト等価性に基づいた視覚的LTSモデル操作によるプロセス代数デバッガ(並列・分散)
- 診断テスト生成に基づくラベル付遷移システムのグラフィカル・デバッガ
- 適応的特徴選択を用いた長時間放送映像からの高速な繰り返し区間検出(一般セッション14)
- 適応的特徴選択を用いた長時間放送映像からの高速な繰り返し区間検出(一般セッション(5),CVのためのパターン認識・学習理論の新展開)
- CA法による交通流れシミュレーション(速度変化表現方法の検討)