スポンサーリンク
奈良先端科学技術大学院大学 情報科学研究科 | 論文
- ユーザクラスタリングを用いた多義語の検索精度向上手法の提案と評価(オフィスインフォメーションシステム及び一般)
- 分担型キャッシングシステムの設計と実装
- WWWにおけるハイブリッド先読み代理サーバの設計と実装
- 修正確認テスト規模の低減を目的としたコードレビュー手法
- 1P1-1F-C8 館内案内ロボット「たけまる」の開発 : 開発の概要と距離センサを用いたナビゲーション機能の実装
- 確率多重文脈自由文法によるRNAシュードノット構造予測(DNA・タンパク質構造)
- RNA2次構造記述向き形式文法の生成能力について(文字列アルゴリズム)
- 通信プロトコルのフェーズ連結法とそれに基づく検証法
- VAR-CCGの生成能力について
- 語彙機能文法のいくつかの部分クラスに対する一般認識問題の計算量について
- 自然語仕様から代数的仕様への変換における表現式の構文規則の生成
- メソッドスキーマにおける型整合性の解析アルゴリズム
- メソッドスキーマの型整合性の十分条件
- 有界到達可能性解析を用いた非有界通信プロトコルの解析法
- 自然語仕様から代数的仕様への変換における辞書項目生成の支援
- 多重文脈自由文法の認識問題について
- 拡張有限状態機械でモデル化したOSIセションプロトコルの検証
- 優先サービスを含む通信プロトコルの安全性の検証
- 多重文脈自由文法の所属問題に対する並列アルゴリズム(計算および計算量理論とその周辺)
- 通信プロトコルの自然語仕様から代数的仕様への変換における文章間の依存関係の解析