リサーチレポート(情報科学研究科)タイトル一覧
2002年に発行した本学情報科学研究科のリサーチレポートを発行順に掲載しています。
本文は,図書館3階“本学関係刊行物”エリアに配架してありますので,ご利用ください。
リサーチレポート - 情報科学研究科 2002 : ISSN 0918-7553
発行番号 |
IS-RR-2002-001 |
論文タイトル |
Construction of rule base for the Control of discrete event dynamic systems |
著者 |
Hiraishi, Kunihiko/Capkovic, Frantisek |
発行年月日 |
20020108 |
ページ |
Page: 1-8 |
発行番号 |
IS-RR-2002-002 |
論文タイトル |
Competitve envy-free division |
著者 |
Sung, Shao Chin/Vlach, Milan |
発行年月日 |
20020115 |
ページ |
Page: 1-7 |
発行番号 |
IS-RR-2002-003 |
論文タイトル |
ガウシアンピラミッドを用いたオプティカルフロー推定 |
著者 |
安達, 栄輔/堀口, 進 |
発行年月日 |
20020313 |
ページ |
Page: 1-13 |
発行番号 |
IS-RR-2002-004 |
論文タイトル |
フィルタリングの影響を考慮した多重解像度オプティカルフロー推定 |
著者 |
安達, 栄輔/堀口, 進 |
発行年月日 |
20020313 |
ページ |
Page: 1-17 |
発行番号 |
IS-RR-2002-005 |
論文タイトル |
Some properties of orthologics |
著者 |
Miyazaki, Yutaka |
発行年月日 |
20020319 |
ページ |
Page: 1-22 |
発行番号 |
IS-RR-2002-006 |
論文タイトル |
Optimal parellel weghted multiselection |
著者 |
Hong, Shen |
発行年月日 |
20020328 |
ページ |
Page: 1-10 |
発行番号 |
IS-RR-2002-007 |
論文タイトル |
Efficient weighted multiselection in parallel architectures |
著者 |
Hong, Shen |
発行年月日 |
20020328 |
ページ |
Page: 1-13 |
発行番号 |
IS-RR-2002-008 |
論文タイトル |
A new text representation method using fuzzy concept in text categorization |
著者 |
Son, Doan/Horiguchi, Susumu |
発行年月日 |
20020419 |
ページ |
Page: 1-14 |
発行番号 |
IS-RR-2002-009 |
論文タイトル |
A constructive meaning for the convergence and the Cauchyness of seqences
of the space D (R) |
著者 |
Yoshida, Satoru |
発行年月日 |
20020517 |
ページ |
Page: 1-8 |
発行番号 |
IS-RR-2002-010 |
論文タイトル |
A constructive completion of the space D (R) |
著者 |
Yoshida, Satoru |
発行年月日 |
20020517 |
ページ |
Page: 1-22 |
発行番号 |
IS-RR-2002-011 |
論文タイトル |
An adaptive routing for hierarchical interconnection network TESH |
著者 |
Miura, Yasuyuki/Horiguchi, Susumu |
発行年月日 |
20020517 |
ページ |
Page: 1-13 |
発行番号 |
IS-RR-2002-012 |
論文タイトル |
A constructive look at Weierstrass' theorem |
著者 |
Yoshida, Satoru |
発行年月日 |
20020610 |
ページ |
Page: 1-6 |
発行番号 |
IS-RR-2002-013 |
論文タイトル |
A note on nondiscontinuity in constructive mathematics |
著者 |
Yoshida, Satoru |
発行年月日 |
20020610 |
ページ |
Page: 1- 3 |
発行番号 |
IS-RR-2002-014 |
論文タイトル |
係数被決定非圧縮性粘性流体オプティカルフロー拘束方程式を用いた重み付き投票法によるオプティカルフロー推定法 |
著者 |
今村, 弘樹/小谷, 一孔 |
発行年月日 |
20020614 |
ページ |
Page: 1-14 |
発行番号 |
IS-RR-2002-015 |
論文タイトル |
顔部品画像解析システムのための目領域画像の平均輝度値を用いた目のアクション識別手法 |
著者 |
今村, 弘樹/小谷, 一孔 |
発行年月日 |
20020614 |
ページ |
Page: 1-8 |
発行番号 |
IS-RR-2002-016 |
論文タイトル |
Approach to scalable statistical text summarization |
著者 |
Nguyen, Minh Le/Horiguchi, Susumu |
発行年月日 |
20020627 |
ページ |
Page: 1-16 |
発行番号 |
IS-RR-2002-017 |
論文タイトル |
There exists a continuum of normal modal logics over KTB |
著者 |
Miyazaki, Yutaka |
発行年月日 |
20020722 |
ページ |
Page: 1-14 |
発行番号 |
IS-RR-2002-018 |
論文タイトル |
Providing a framework for conflict resolution |
著者 |
Kirsten, Schroeter/Shao Chin, Sung |
発行年月日 |
20020724 |
ページ |
Page: 1-11 |
発行番号 |
IS-RR-2002-019 |
論文タイトル |
Extracting threads from concurrent objects for the design of embedded systems |
著者 |
Okazaki, Mitsutaka/Aoki, Toshiaki/Katayama, Takuya |
発行年月日 |
20020805 |
ページ |
Page: 1-10 |
発行番号 |
IS-RR-2002-020 |
論文タイトル |
Formal analysis of the iKP electronic payment protocols |
著者 |
Ogata,Kazuhiro /Futatsugi,Kokichi |
発行年月日 |
20020820 |
ページ |
Page: 1-23 |
発行番号 |
IS-RR-2002-021 |
論文タイトル |
JAIST Campus Grid の構築について |
著者 |
井口 寧/松澤, 照男 |
発行年月日 |
20021203 |
ページ |
Page: 1-15 |
発行番号 |
IS-RR-2002-022 |
論文タイトル |
A polynomal time algorithm for a just-in-time scheduling problem with periodic
time slots |
著者 |
Hiraishi, Kunihiko |
発行年月日 |
20021205 |
ページ |
Page: 1-9 |