|
|
JAIST Repository >
一覧: 日付
検索結果: 1317-1337 / 2074.
| 発行日 | タイトル |
著者 |
|---|
| Apr-2007 | The Game of Synchronized Cutcake | Cincotti, A.; Iida, H. |
| Apr-2007 | Automated Robot Docking Using Direction Sensing RFID | Kim, MyungSik; Kim, Hyung Wook; Chong, Nak Young |
| Apr-2007 | Adaptive Flocking of a Swarm of Robots Based on Local Interactions | Hanada, Y.; Lee, Geunho; Chong, Nak Young |
| Apr-2007 | Limited error based event localizing temporal decomposition and its application to variable-rate speech coding | Nguyen, Phu Chien; Akagi, Masato; Nguyen, Binh Phu |
| Apr-2007 | Antenna Doping: A Countermeasure Against MIMO Spatial Correlation | Kai, Yen; Karjalainen, J.; Matsumoto, T. |
| 28-Mar-2007 | ソフトウェアアカウンタビリティ実現のためのGORAと法理論の利用に関する報告 | 杉森, 隼人; 落水, 浩一郎 |
| 23-Mar-2007 | Algebraic approaches to formal analysis of the mondex electronic purse system | Kong, Weiqiang; Ogata, Kazuhiro; Futatsugi, Kokichi |
| 16-Mar-2007 | Analysis of membership sharing in digital subscription services | Xiang, Jianwen; Ogata, Kazuhiro; Futatsugi, Kokichi |
| 15-Mar-2007 | 注目の検出に基づいた興味モデルの作成と絵画推薦 | 脇山, 孝貴; 吉高, 淳夫; 平嶋, 宗; WAKIYAMA, KOKI; YOSHITAKA, ATSUO; HIRASHIMA, TSUKASA |
| 1-Mar-2007 | 軌道アトラクタを用いたパターンベース推論 | 山根, 健; 蓮尾, 高志; 末光, 厚夫; 森田, 昌彦; YAMANE, Ken; HASUO, Takashi; SUEMITSU, Atsuo; MORITA, Masahiko |
| 1-Mar-2007 | Statistical Analysis Driven Synthesis of Application Specific Asynchronous Systems | OHASHI, Koji; KANEKO, Mineo |
| Mar-2007 | Iterative Joint-Over-Antenna Detection and WNRA Decoding in Single-Carrier Multiuser MIMO Systems | Yen, K.; Veselinovic, N.; Kansanen, K.; Matsumoto, T. |
| 26-Feb-2007 | Self-stabilizing algorithm for circle formation by disoriented oblivious mobile robots | Defago, Xavier; Souissi, Samia |
| 22-Feb-2007 | Collision prevention using group communication for asynchronous cooperative mobile robots | Yared, Rami; Defago, Xavier; Wiesmann, Matthias |
| Feb-2007 | On The Use of Multiple Access Coding in Cooperative Space-time Relay Transmission And Its Measurement Data-Based Performance Verification | Hong, Aihua; Thoma, Reiner; Matsumoto, Tad |
| 29-Jan-2007 | MITS : models of IT security : security rules & regulations : an interpretation | Bjorner, Dines |
| 16-Jan-2007 | The role of domain engineering in software development | Bjorner, Dines |
| 16-Jan-2007 | Domain engineering | Bjorner, Dines |
| 16-Jan-2007 | The triptych process model : process assessment and improvement | Bjorner, Dines |
| 15-Jan-2007 | 音楽理論GTTMに基づくグルーピング構造獲得システム | 浜中, 雅俊; 平田, 圭二; 東条, 敏; HAMANAKA, MASATOSHI; HIRATA, KEIJI; TOJO, SATOSHI |
| 12-Jan-2007 | Reasoning with abstractions as context-based reasoning | Saeger, Stijn De; Shimojima, Atsushi |
|
