|
|
JAIST Repository >
一覧: 日付
検索結果: 1940-1960 / 2071.
| 発行日 | タイトル |
著者 |
|---|
| Jun-1996 | A Deductive Object-Oriented Database System for Situated Inference in Law | Wong, Stephen; Tojo, Satoshi |
| 31-May-1996 | 移動計算機環境を支援する言語LEADとそのメタレベルアーキテクチャ | 天野, 憲樹; 渡部, 卓雄; Amano, Noriki; Watanabe, Takuo; アマノ, ノリキ; ワタナベ, タクオ |
| 28-May-1996 | HR-crossed cube interconnection and WSI implementation | Horiguchi, Susumu; Konuki, Masayuki; 堀口, 進; 小貫, 昌幸; ホリグチ, ススム; コヌキ, マサユキ |
| 16-Apr-1996 | ネットワークを介した協調活動の支援環境 | 川上, 直木; 川瀬, 宏一郎; 小寺, 康男; 鈴木, 大輔; 萩原, 豊隆; 橋本, 雅嗣; 落水, 浩一郎 |
| 18-Mar-1996 | 多視点距離画像に基づく単一参照パターンを用いた3次元物体認識 | 大野, 克俊; 阿部, 亨; Ohno, Katsutoshi; Abe, Toru; オオノ, カツトシ; アベ, トオル |
| 18-Mar-1996 | PCTEによるCASEツールの統合とその応用 | 池田, 克則; 落水, 浩一郎 |
| 15-Mar-1996 | Persistency of confluence | Aoto,Takahito; Toyama,Yoshihito; 青戸, 等人; 外山, 芳人; アオト, タカヒト; トヤマ, ヨシヒト |
| 15-Mar-1996 | Shifted Recursive Torus interconnection network for massively parallel computers | Inoguchi, Yasushi; Horiguchi, Susumu |
| 12-Mar-1996 | 3次元動画像と仮想物体映像の合成 | 伊藤, 嘉昭; 阿部, 亨; 堀口, 進; Itou, Yoshiaki; Abe, Tooru; Horiguchi, Susumu; イトウ, ヨシアキ; アベ, トオル; ホリグチ, ススム |
| 12-Mar-1996 | Single machine scheduling with sequence-dependent due dates | Tanaka, Keisuke; Vlach, Milan; 田中, 圭介; タナカ, ケイスケ |
| Mar-1996 | 仮想現実空間上での3次元物体造形システム | 滝口, 章広; 阿部, 亨; 堀口, 進; Takiguchi, Akihiro; Abe, Toru; Horiguchi, Susumu; タキグチ, アキヒロ; アベ, トオル; ホリグチ, ススム |
| Mar-1996 | JAIST-REPORT completeness of semantic paramodulation : a category-based approach | Diaconescu, Razvan |
| 19-Feb-1996 | The efficient fault-tolerant design of artificial neural networks | Yamamori, Kunihito; Kim, J. H.; Horiguchi, Susumu; 山森, 一人; 堀口, 進; ヤマモリ, クニヒト; ホリグチ, ススム |
| 15-Feb-1996 | Minimizing maximum absolute lateness and range of lateness under generalized due dates on a single machine | Tanaka, Keisuke; Vlach, Milan; 田中, 圭介; Vlach, Milan; タナカ, ケイスケ |
| Feb-1996 | 翻訳例へのカテゴリ付加による実例型翻訳の高速化 | 佐藤, 理史; Sato, Satoshi; サトウ, サトシ |
| 19-Jan-1996 | Robustness of robot programs generated by genetic programming | Ito, Takuya; Iba, Hitoshi; Kimura, Masayuki; 伊藤, 拓也; 伊庭, 斉志; 木村, 正行; イトウ, タクヤ; イバ, ヒトシ; キムラ, マサユキ |
| 1996 | Unique normal form property of Higher-Order Rewriting | Mano, Ken; Ogawa, Mizuhito |
| 1996 | A message recovery signature scheme equivalent to DSA over elliptic curves | Miyaji, Atsuko |
| 25-Dec-1995 | 並列論理型言語におけるフォールトトレラントソフトウェアの構成 | 杉野, 栄二; 横田, 治夫; Sugino, Eiji; Yokota, Haruo; スギノ, エイジ; ヨコタ, ハルオ |
| 7-Dec-1995 | Fault tolerant software in parallel logic programming languages | Sugino, Eiji; Yokota, Haruo; 杉野, 栄二; 横田, 治夫; スギノ, エイジ; ヨコタ, ハルオ |
| Dec-1995 | Po-hyperdoctrinal semantics for substructural predicate logics | Shirasu, Hiroyuki; 白須, 裕之; シラス, ヒロユキ |
|
