|
|
JAIST Repository >
一覧: 日付
検索結果: 10905-10925 / 18591.
| 発行日 | タイトル |
著者 |
|---|
| 4-Mar-2008 | A Coordination Model for Coordinating Software Components | Lin, Hsin-Hung |
| 4-Mar-2008 | Modular Conformance Testing and Verification for Evolving Component-Based Software | Hung, Pham Ngoc |
| 4-Mar-2008 | Improving Phrase-based Machine Translation using Splitting Clause and Phrase Reordering | Nguyen, Vinh Van |
| 4-Mar-2008 | Automatic Extraction of Named Entity Related Relations for Searching | Nguyen, Thanh Tri |
| 4-Mar-2008 | Syntax-Directed Phrase-based Statistical Machine Translation | Nguyen, Thai Phuong |
| 4-Mar-2008 | Transforming Natural Language Processing to Logical Forms | Nguyen, Minh Le |
| 4-Mar-2008 | Belief Consolidation for Description Logic | Suzuki, Yoshitaka |
| 3-Mar-2008 | A Case Study : Analyzing the One Dimensional Ising Model by Probabilistic Model Checking | Sekizawa, Toshifusa; Tsuchiya, Tatsuhiro; Kikuno, Tohru; Takahashi, Koichi |
| 3-Mar-2008 | Model Checking Infinite State Machines : Who's who in Ogawa lab | 小川, 瑞史 |
| 3-Mar-2008 | WEBベース・ワークフローシステムのモデル化と検証 | 平石, 邦彦 |
| 3-Mar-2008 | Correctness Properties for Workflows with Multiple Starts and/or Ends | Takaki, O.; Takeuti, I.; Seino, T.; Izumi, N.; Takahshi, K. |
| 3-Mar-2008 | 様相論理の証明支援系上の実装 | 矢田部, 俊介 |
| Mar-2008 | Tree-to-String Phrase-based Statistical Machine Translation | NGUYEN, Thai Phuong |
| Mar-2008 | Knowledge process analysis : Framework and experience | Sugiyama, Kozo; Meyer, Bertolt |
| Mar-2008 | Structure and Properties for Biomass-Based Polyester Blends of PLA and PBS | Yokohara, Tadashi; Yamaguchi, Masayuki |
| Mar-2008 | リサーチアシスタント〔RA〕活動報告書 2007年度 : 知のコーディネータへ向けて | |
| Mar-2008 | 組織的知識創造研究のための理論・方法論的アプローチの検討 : 物語研究と質的研究手法についての研究 | 吉永, 崇史 |
| Mar-2008 | 社会イノベーションへの大学組織研究連携戦略 | 立瀬, 剛志; 小林, 俊哉 |
| Mar-2008 | 学際連携を支援するための学際コミュニケーション論 : 北陸先端科学技術大学院大学における実践 | 小林, 俊哉; 緒方, 三郎 |
| Mar-2008 | 「電子知識科学図書館」と社会人教育支援 | 小林, 俊哉; 緒方, 三郎 |
| Mar-2008 | 生涯学習の場としてのサイエンスカフェ | 小林, 俊哉; 浅野, 浩央 |
|
