HOME＞
List＞Title List of Research Report (School of Information Science)
Title List of Research Report (School of Information Science)
JAIST Research Report (School of Information Science) published in 2007;
listed in chronological order.
Full article is stored in the shelves near the Doctoral
Dissertations in the 3rd floor.
Research Report (School of Information Science) 2007 ： ISSN 0918-7553
| Publication # |
IS-RR-2007-001 |
| Title |
Reasoning with abstractions as context-based reasoning |
| Author(s) |
Saeger, Stijn De/Shimojima, Atsushi |
| Date Published |
20070112 |
| Pages |
1-16 |
| Publication # |
IS-RR-2007-002 |
| Title |
Collision prevention using group communication for asynchronous cooperative mobile robots |
| Author(s) |
Yared, Rami/Defago, Xavier/Wiesmann, Matthias |
| Date Published |
20070222 |
| Pages |
1-21 |
| Publication # |
IS-RR-2007-003 |
| Title |
Self-stabilizing algorithm for circle formation by disoriented oblivious mobile robots |
| Author(s) |
Defago, Xavier/Souissi, Samia |
| Date Published |
20070226 |
| Pages |
1-17 |
| Publication # |
IS-RR-2007-004 |
| Title |
Algebraic approaches to formal analysis of the mondex electronic purse system |
| Author(s) |
Kong, Weiqiang/Ogata, Kazuhiro/Futatsugi, Kokichi |
| Date Published |
20070323 |
| Pages |
1-43 |
| Publication # |
IS-RR-2007-005 |
| Title |
ソフトウェアアカウンタビリティ実現のためのGORAと法理論の利用に関する報告 |
| Author(s) |
杉森，隼人/落水，浩一郎 |
| Date Published |
20070328 |
| Pages |
1-35 |
| Publication # |
IS-RR-2007-006 |
| Title |
Tight bound on the gathering of two oblivious mobile robots with inconsistent compasses |
| Author(s) |
Yamashita, Masafumi/Souissi, Samia/Defago, Xavier |
| Date Published |
20070403 |
| Pages |
1-15 |
| Publication # |
IS-RR-2007-007 |
| Title |
ED FD: Improving the phi accrual failure detector |
| Author(s) |
Xiong, Naixue/Defago, Xavier |
| Date Published |
20070427 |
| Pages |
1-29 |
| Publication # |
IS-RR-2007-008 |
| Title |
Estimation of fundamental frequency of reverberant speech by utilizing complex cepstrum analysis |
| Author(s) |
Unoki, Masashi/Hosorogiya, Toshihiro |
| Date Published |
20070618 |
| Pages |
1-14 |
| Publication # |
IS-RR-2007-009 |
| Title |
IECを用いた素片接続コストの重み係数推定 |
| Author(s) |
平井，啓之/小谷，一孔/党，建武 |
| Date Published |
20070706 |
| Pages |
1-10 |
| Publication # |
IS-RR-2007-010 |
| Title |
Definition and realization of software accountability |
| Author(s) |
Ochimizu, Koichiro/Hayasaka, Ryo |
| Date Published |
20070720 |
| Pages |
1-12 |
| Publication # |
IS-RR-2007-011 |
| Title |
LP-baesd method of blind restoration to improve intelligibility of bone-conducted speech |
| Author(s) |
Thang, Tat Vu/Unoki, Masashi/Akagi, Masato |
| Date Published |
20071005 |
| Pages |
1-10 |
| Publication # |
IS-RR-2007-012 |
| Title |
MDAフレームワークのEDA分野への適用 |
| Author(s) |
岩政，幹人/落水，浩一郎 |
| Date Published |
20071120 |
| Pages |
1-50 |