|
|
JAIST Repository >
一覧: 日付
検索結果: 1825-1845 / 2071.
| 発行日 | タイトル |
著者 |
|---|
| 26-Oct-1998 | On proving Ac-termination by AC-dependency pairs | Kusakari, Keiichirou; Toyama, Yoshihito |
| 20-Oct-1998 | Single machine scheduling under fuzziness | Vlach, Milan |
| 20-Oct-1998 | Simplification ordering for higher-order rewrite systems | Iwami, Munehiro; Toyama, Yoshihito |
| 17-Sep-1998 | A family of substructural logics with restricted/generalized structural rules | Kamide, Norihiro; 上出, 哲広; カミデ, ノリヒロ |
| 27-Aug-1998 | Strongly normalization from weakly normalization on some restricted λ-calculus | Motohama, Yoko |
| Aug-1998 | Applications of Shimura's methods of canonical model to intermediate infinitary logics | Tanaka, Yoshihito |
| 16-Jul-1998 | パラメトリックな眼鏡フレームモデルを用いた顔画像内の眼鏡フレーム領域の抽出と除去 | 齋藤, 康之; 剣持, 雪子; 小谷, 一孔; Saitou, Yasuyuki; Kenmochi, Yukiko; Kotani, Kazunori; サイトウ, ヤスユキ; ケンモチ, ユキコ; コタニ, カズノリ |
| 10-Jul-1998 | 統計的構文解析における構文的統計情報と語彙的統計情報の統合について | 白井, 清昭; 乾, 健太郎; 徳永, 健伸; 田中, 穂積; SHIRAI, Kiyoaki; INUI, Kentaro; TOKUNAGA, Takenobu; TANAKA, Hozumi |
| 15-Jun-1998 | 言い直しを含む発話の解析(<特集>並列処理) | 中野, 幹生; 島津, 明 ; NAKANO, MIKIO; SHIMAZU, AKIRA |
| 8-Jun-1998 | 階層化ヘミキューブを用いた並列ラジオシティ法による高速画像生成 | 佐藤, 敦; 阿部, 亨; 堀口, 進; Satou, Atsushi; Abe, Tooru; Horiguchi, Susumu; サトウ, アツシ; アベ, トオル; ホリグチ, ススム |
| 8-Jun-1998 | Network performances of TESH:a new hierarchical interconnection network for 3-D integration | Horiguchi, Susumu; Ooki, Takayuki; Jain, Vijay |
| 5-Jun-1998 | Behavioural coherence in object-oriented algebraic specification | Diaconescu, Razvan |
| 12-May-1998 | Minimizing total completion time in a two-machine no-idle flowshop | Cepek, Ondrej; Okada, Masanori; Vlach, Milan |
| 9-May-1998 | Categorical foundations of modularisation for multi-paradigm | Diaconescu, Razvan; Stefaneas, Petros |
| May-1998 | Embedding symmetric simply typed classical lambda calculus into arrow typed lambda calculas with bottom | Tanaka, Yoshihito |
| 24-Apr-1998 | Generating all arcs in the transitive closure of a directed hypergraph | Cepek, Ondrej |
| Apr-1998 | JAISTにおける超並列関連研究(1997年度) | 佐藤, 理史[編]; Satou, Satoshi; サトウ, サトシ |
| 27-Mar-1998 | ガンマチャープフィルタバンクの構築 | 鵜木, 祐史; 入野, 俊夫; 下平, 博 |
| 26-Mar-1998 | 口腔疾患に伴う構音障害の音響的特徴に関する研究 | 齋藤, 浩人; 赤木, 正人 |
| 20-Feb-1998 | A proof of the conjecture of zantema on a persistent property of term rewriting systems | Aoto, Takahito |
| 20-Feb-1998 | Concurrent object composition in CafeOBJ | Iida, Shusaku; Matsumoto, Michihiro; Diaconescu, Razvan; Futatsugi, Kokichi; Lucanu, Dorel |
|
