| 発行日 | タイトル |
著者 |
|---|
| 29-Dec-2018 | A Unified Framework for Operational Range Estimation of Mobile Robots Operating on a Single Discharge to Avoid Complete Immobilization | Tiwari, Kshitij; Xiao, Xuesu; Malik, Ashish; Chong, Nak Young |
| Mar-2001 | A Unified Scheme for Detecting Fundamental Curves in Binary Edge Images | Asano, Tetsuo; Katoh, Naoki; Tokuyama, Takeshi |
| 31-Dec-2011 | The uniform boundedness theorem and a boundedness principle | Ishihara, Hajime |
| 2001 | Uniform Normalisation beyond Orthogonality | Khasidashvili, Zurab; Ogawa, Mizuhito; Oostrom, Vincent van |
| 2007 | Unique Existence and Computability in Constructive Reverse Mathematics | Ishihara, Hajime |
| 6-May-2001 | Unique normal form property of compatible term rewriting systems: a new proof of Chew's theorem | Mano, Ken; Ogawa, Mizuhito |
| 1996 | Unique normal form property of Higher-Order Rewriting | Mano, Ken; Ogawa, Mizuhito |
| 30-Aug-1995 | Unique normal proof property for implicational minimal formulas in the intuitionistic logic | Aoto, Takahito; 青戸, 等人; アオト, タカヒト |
| 11-Aug-1994 | Uniqueness of normal proofs in {→,∧}-fragment of NJ | Aoto, Takahito; Ono, Hiroakira |
| Jul-2022 | An Unmanned Aerial-Surface Vehicle Hybrid Outfitted with a Transformable Housing | Tsai, Chung Hsuan; Elibol, Armagan; Nak-Young, Chong |
| 2010 | UNO Is Hard, Even for a Single Player | Demaine, Erik D.; Demaine, Martin L.; Uehara, Ryuhei; Uno, Takeaki; Uno, Yushi |
| 22-Nov-2013 | UNO is hard, even for a single player | Demaine, Erik D.; Demaine, Martin L.; Harvey, Nicholas J. A.; Uehara, Ryuhei; Uno, Takeaki; Uno, Yushi |
| Sep-2014 | Unsupervised Learning Approach to Attention-Path Planning for Large-scale Environment Classification | Lee, Hosun; Jeong, Sungmoon; Chong, Nak Young |
| 2018 | Unsupervised Singing Voice Separation Based on Robust Principal Component Analysis Exploiting Rank-1 Constraint | Li, Feng; Akagi, Masato |
| 15-Nov-2018 | Unsupervised Singing Voice Separation Using Gammatone Auditory Filterbank and Constraint Robust Principal Component Analysis | Li, Feng; Akagi, Masato |
| Dec-2010 | Update Legal Documents Using Hierarchical Ranking Models and Word Clustering | Pham, Minh Quang Nhat; Nguyen, Minh Le; Shimazu, Akira |
| 22-Jan-2004 | An Upper Bound on Blocking Probability for Vertical Stacked Optical Banyan Networks with Extra Stage | Yu, Chen; Jiang, Xiaohong; Horiguchi, Susumu |
| 9-Jul-2018 | Usability Evaluation of Open Source and Online Capture the Flag Platforms | Noor Azam, Muhammad Harith bin; Beuran, Razvan |
| 20-Jun-1996 | A user behavior model of organizational knowledge support | Kadowaki, Chie; Yamakami, Toshihiko; Kokogawa, Tomohiro; Sugita, Keizo; Kunifuji, Susumu |
| 2-Jan-2019 | User-Centric Consumption Scheduling and Fair Billing Mechanism in Demand-Side Management | Charoen, Prasertsak; Sioutis, Marios; Javaid, Saher; Charoenlarpnopparut, Chalie; Lim, Yuto; Tan, Yasuo |
| Using Conspiracy Numbers for Improving Move Selectionin Minimax Game-Tree Search | Vu, Quang; Ishitobi, Taichi; Terrillon, Jean-Christophe; Iida, Hiroyuki |
