|
|
JAIST Repository >
一覧: 日付
検索結果: 15435-15455 / 18596.
| 発行日 | タイトル |
著者 |
|---|
| Mar-2002 | 電子メールコミュニケーションにおける討議内容の要約と呈示法について | 渡邊, 大貴; わたなべ, ひろき |
| Mar-2002 | 参照ページからの情報を利用したWeb探索支援 | 板橋, 英夫; いたばし, ひでお |
| Mar-2002 | 時間論理とその情報科学への応用 | 今井, 英明; いまい, ひであき |
| Mar-2002 | 分散コミュニケーションのためのPi-calculusの拡張とその抽象機械の提案 | 福田, 博之; ふくだ, ひろゆき |
| Mar-2002 | レシピ文における時間的関係構造の自動生成 | 林, 絵梨; はやし, えり |
| Mar-2002 | マルチエージェントを用いた外来語獲得モデルに関する研究 | 小川, 絵摩; おがわ, えま |
| Mar-2002 | オープンソースソフトウェア開発に適したCVSリポジトリの階層型分散構成法の研究 | 嶋田, 大輔; しまだ, だいすけ |
| Mar-2002 | 多重解像度解析による顔濃淡・距離画像の特徴解析に関する研究 | 金森, 証; かなもり, あきら |
| Mar-2002 | 先読み代理サーバを用いたWWW情報探索支援 | 新井, 孝之; あらい, たかゆき |
| Mar-2002 | 繰り返し分割再配置に基づく２次元配置最適化 | 金子, 哲; かねこ, あきら |
| Mar-2002 | 格子結合型並列計算機の自律再構成ハードウエアに関する研究 | 福士, 将; ふくし, まさる |
| Mar-2002 | 適切様相論理の意味論的研究 | 関, 隆宏; せき, たかひろ |
| Mar-2002 | appearance ベースとmodel ベースによる眼鏡顔画像からの眼鏡なし顔画像の推定 | 齋藤, 康之; さいとう, やすゆき |
| Mar-2002 | 電子オークションに関する研究 | 面, 和成; おもて, かずまさ |
| Mar-2002 | 非古典論理の証明論 - 直観主義部分構造論理の自然演繹体系と証明支援システムの構築 | 毛利, 元彦; もうり, もとひこ |
| Mar-2002 | 階層型相互結合網のワームホール・ルーティングに関する研究 | 三浦, 康之; みうら, やすゆき |
| Mar-2002 | コンポーネントソフトウェア開発用軽量フォーマルメソッドの研究 | 松本, 充広; まつもと, みちひろ |
| Mar-2002 | 項書き換えシステムのための評価戦略の研究 | 中村, 正樹; なかむら, まさき |
| Mar-2002 | 有限差分法による非圧縮粘性流体シミュレーションの高性能並列計算の研究 | 黒川, 原佳; くろかわ, もとよし |
| Mar-2002 | 直観主義論理のいくつかの部分論理に対するゲンツェン流Sequent計算 | 菊池, 健太郎; きくち, けんたろう |
| Mar-2002 | 現実的な電子署名の設計と解析 | 岡本, 健; おかもと, たけし |
|
