スポンサーリンク

愛知工業大学情報科学部情報科学科 | 論文

• 2時相3次元胸部CT像からのリンパ節自動抽出手法に関する検討
• コンシェルジュサーバを持つ電話システムの形式的検証
• AT-1-2 Larch Proverによる論理パズルの解法(AT-1.システム数理における様々なツールの紹介,チュートリアルセッション,ソサイエティ企画)
• 特徴語を用いた観光レコメンデーションシステムの検討
• コンシェルジュサーバを持つ電話システムの形式的検証

• < 前のページ

スポンサーリンク