| 発行日 | タイトル |
著者 |
|---|
| Jul-2014 | Automated Complexity Analysis Based on Context-Sensitive Rewriting | Hirokawa, Nao; Moser, Georg |
| 2008 | Automated Complexity Analysis Based on the Dependency Pair Method | Hirokawa, Nao; Moser, Georg |
| 15-Jan-2008 | Automatic Construction of Program Transformation Templates | Chiba, Yuki; Aoto, Takahito; Toyama, Yoshihito |
| 1-Oct-2007 | Automatic Extraction of the Fine Category of Person Named Entities from Text Corpora | NGUYEN, Tri-Thanh; SHIMAZU, Akira |
| 1999 | Automatic Verification Based on Abstract Interpretation | Ogawa, Mizuhito |
| Jun-2005 | Automating the dependency pair method | Hirokawa, Nao; Middeldorp, Aart |
| 2003 | Automating the Dependency Pair Method | Hirokawa, Nao; Middeldorp, Aart |
| 31-Aug-2012 | Autonomous and Interactive Improvement of Binocular Visual Depth Estimation through Sensorimotor Interaction | Mann, Timothy A.; Park, Yunjung; Jeong, Sungmoon; Lee, Minho; Choe, Yoonsuck |
| 29-Aug-2011 | An autonomous framework to produce and distribute personalized team-sport video summaries: a basket-ball case study | Chen, Fan; Delannay, Damien; Vleeschouwer, Christophe De |
| Oct-2003 | Back-Propagation Learning of Infinite-Dimensional Dynamical Systems | Tokuda, Isao; Tokunaga, Ryuji; Aihara, Kazuyuki |
| 14-Feb-2013 | Base location problems for base-monotone regions | Chun, Jinhee; Horiyama, Takashi; Ito, Takehiro; Kaothanthong, Natsuda; Ono, Hirotaka; Otachi, Yota; Tokuyama, Takeshi; Uehara, Ryuhei; Uno, Takeaki |
| 23-Oct-2014 | Base-Object Location Problems for Base-Monotone Regions | Chun, Jinhee; Horiyama, Takashi; Ito, Takehiro; Kaothanthong, Natsuda; Ono, Hirotaka; Otachi, Yota; Tokuyama, Takeshi; Uehara, Ryuhei; Uno, Takeaki |
| Feb-1997 | Beam-Selection Performance Analysis of a Switched Multibeam Antenna System in Mobile Communications Environments | Matsumoto, Tadashi; Nishioka, Seiji; Hodder, David J. |
| 1-Jun-2006 | A Behavioral Specification of Imperative Programming Languages | NAKAMURA, Masaki; WATANABE, Masahiro; FUTATSUGI, Kokichi |
| 6-Nov-2014 | Belief Re-revision in Chivalry Case | Jirakunkanok, Pimolluck; Hirose, Shinya; Sano, Katsuhiko; Tojo, Satoshi |
| Mar-1991 | BER Analysis of Convolution Coded QDPSK in Digital Mobile Radio | Matsumoto, Tadashi; Adachi, Fumiyuki |
| 1-Jul-2014 | BICM-ID-Based IDMA: Convergence and Rate Region Analyses | Wu, Kun; Anwar, Khoirul; Matsumoto, Tad |
| 14-Jan-2008 | Bifurcations and chaos in register transitions of excised larynx experiments | Tokuda, Isao T.; Horáček, Jaromir; Švec, Jan G.; Herzel, Hanspete |
| 15-Jan-2019 | Binary Data Gathering with a Helper in Internet of Things: Distortion Analysis and Performance Evaluation | Lin, Wensheng; He, Xin; Juntti, Markku; Matsumoto, Tad |
| 1-Oct-2014 | Binaural Sound Source Localization in Noisy Reverberant Environments Based on Equalization-Cancellation Theory | Chau, Thanh-Duc; Li, Junfeng; Akagi, Masato |
| Feb-2010 | Biologically Inspired Robot Arm Control Using Neural Oscillators | Yang, Woosung; Chong, Nak Young; You, Bum Jae; Houssem Abdellatif (Ed.) |
