スポンサーリンク
名古屋工業大学 知能情報システム学科 | 論文
- バイナリ・メソッドのための型付きオブジェクト計算
- 型付きオブジェクト指向計算における型推論の型導出可能性について
- 順序ソート付き項書換え系のカリー化に関する一考察
- ラフ集合理論による分類に関する研究
- B-6-155 SIP-Registrar による効率的な IPv4-IPv6 間接続に関する一考察
- 正解ニッチェ表現をめぐるルール間生存競争
- VoIP認証方式に閏する検討
- VoIP認証方式に関する検討
- B-6-162 SIP サーバとプレゼンスサーバ連携による受付管理方式の一検討
- SIPのトランスポート連携に関する一考察 : SIPとTransportレイヤの信号クロス(セッション5)
- B-6-168 SIP-Proxy 再開時のセッション情報復旧に関する一考察
- B-6-167 SIP の IPv4/v6 相互接続方式に関する一考察
- B-6-157 DNS-ALG を用いた SIP の IPv4/IPv6 接続方式に関する一考察
- B-6-156 SIP の v4/v6 間接続における変換契機に関する一考察
- Soarによる協調推論に基づく倉庫管理システム
- 6ZF-2 室内全体の動きと音からの場の割り込み許容度推定可能性の検討(知的ヒューマンインタフェース,学生セッション,インタフェース,情報処理学会創立50周年記念)
- 定理証明器SATCHMOREの効率化に関する一手法
- プライミング効果を反映した連想辞書モデル
- 語彙プライミング効果に基づく連想辞書生成機構の試作について
- プロダクションシステムKORE/IEの分散化とその応用について : 選択肢決定支援システムGCDSSの実現