2025 | -- | 0 | Michitaka Kameyama. Foreword |
2026 | -- | 2035 | Tsutomu Sasao, Hiroki Nakahara, Munehiro Matsuura, Yoshifumi Kawamura, Jon T. Butler. A Quaternary Decision Diagram Machine: Optimization of Its Code |
2036 | -- | 2039 | Koki Nishizawa. Multi-Valued Modal Fixed Point Logics for Model Checking |
2040 | -- | 2047 | Noboru Takagi. A Delay Model of Multiple-Valued Logic Circuits Consisting of Min, Max, and Literal Operations |
2048 | -- | 2058 | Hiroki Nakahara, Tsutomu Sasao, Munehiro Matsuura, Yoshifumi Kawamura. A Parallel Branching Program Machine for Sequential Circuits: Implementation and Evaluation |
2059 | -- | 2067 | Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler. A Systematic Design Method for Two-Variable Numeric Function Generators Using Multiple-Valued Decision Diagrams |
2068 | -- | 2072 | Kwang-Jow Gan, Dong-Shong Liang, Yan-Wun Chen. Novel Multiple-Valued Logic Design Using BiCMOS-Based Negative Differential Resistance Circuit Biased by Two Current Sources |
2073 | -- | 2079 | Motoi Inaba, Koichi Tanno, Hiroki Tamura, Okihiko Ishizuka. Optimization and Verification of Current-Mode Multiple-Valued Digit ORNS Arithmetic Circuits |
2080 | -- | 2088 | Hirokatsu Shirahama, Takashi Matsuura, Masanori Natsui, Takahiro Hanyu. Energy-Aware Multiple-Valued Current-Mode Sequential Circuits Using a Completion-Detection Scheme |
2089 | -- | 2099 | Naoya Onizawa, Takahiro Hanyu. Highly Reliable Multiple-Valued One-Phase Signalling for an Asynchronous On-Chip Communication Link |
2100 | -- | 2108 | Liang-Bi Chen, Jiun-Cheng Ju, Chien-Chou Wang, Ing-Jer Huang. HPChecker: An AMBA AHB On-Chip Bus Protocol Checker with Efficient Verification Mechanisms |
2109 | -- | 2116 | Yasushi Yuminaka, Yasunori Takahashi, Kenichi Henmi. Multiple-Valued Data Transmission Based on Time-Domain Pre-Emphasis Techniques |
2117 | -- | 2125 | Naofumi Homma, Yuichi Baba, Atsushi Miyamoto, Takafumi Aoki. Multiple-Valued Constant-Power Adder and Its Application to Cryptographic Processor |
2126 | -- | 2133 | Nobuaki Okada, Michitaka Kameyama. Logic-In-Control-Architecture-Based Reconfigurable VLSI Using Multiple-Valued Differential-Pair Circuits |
2134 | -- | 2144 | Shota Ishihara, Noriaki Idobata, Masanori Hariyama, Michitaka Kameyama. A Switch Block Architecture for Multi-Context FPGAs Based on a Ferroelectric-Capacitor Functional Pass-Gate Using Multiple/Binary Valued Hybrid Signals |
2145 | -- | 2161 | Chammika Mannakkara, Tomohiro Yoneda. Asynchronous Pipeline Controller Based on Early Acknowledgement Protocol |
2162 | -- | 2171 | Sung-Rae Lee, Ser-Hoon Lee, Sun Young Hwang. A Concurrent Instruction Scheduling and Recoding Algorithm for Power Minimization in Embedded Systems |
2172 | -- | 2181 | Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama. A Minimized Assumption Generation Method for Component-Based Software Verification |
2182 | -- | 2189 | Takako Nakatani, Shouzo Hori, Naoyasu Ubayashi, Keiichi Katamine, Masaaki Hashimoto. A Case Study of Requirements Elicitation Process with Changes |
2190 | -- | 2197 | Ricardo Martinho, Dulce Domingos, João Varajão. Concept Maps for the Modelling of Controlled Flexibility in Software Processes |
2198 | -- | 2212 | Nobutaka Suzuki. An Algorithm for Inferring ::::K:::: Optimum Transformations of XML Document from Update Script to DTD |
2213 | -- | 2222 | Achmad Basuki, Achmad Husni Thamrin, Hitoshi Asaeda, Jun Murai. Real-Time Monitoring of Multicast Group Information |
2223 | -- | 2232 | Jun Liu, Yinhe Han, Xiaowei Li. Extended Selective Encoding of Scan Slices for Reducing Test Data and Test Power |
2233 | -- | 2242 | Tae-Heon Yang, Sang-Youn Kim, Wayne J. Book, Dong-Soo Kwon. Tiny Feel: A New Miniature Tactile Module Using Elastic and Electromagnetic Force for Mobile Devices |
2243 | -- | 2251 | Wei Chen, Gang Liu, Jun Guo, Shinichiro Omachi, Masako Omachi, Yujing Guo. Novel Confidence Feature Extraction Algorithm Based on Latent Topic Similarity |
2252 | -- | 2261 | Sanaz Seyedin, Seyed Mohammad Ahadi. A New Subband-Weighted MVDR-Based Front-End for Robust Speech Recognition |
2262 | -- | 2272 | Kyung-Yong Kim, Gwang Hoon Park, Doug-Young Suh. Adaptive Depth-Map Coding for 3D-Video |
2273 | -- | 2280 | Jing-Xin Wang, Alvin Wen-Yu Su. Adaptive Zero-Coefficient Distribution Scan for Inter Block Mode Coding of H.264/AVC |
2281 | -- | 2290 | Kong-Joo Lee, Jee-Eun Kim. Improving Automatic English Writing Assessment Using Regression Trees and Error-Weighting |
2291 | -- | 2301 | Hyunjin Park, Alfred O. Hero III, Peyton H. Bland, Marc Kessler, Jongbum Seo, Charles R. Meyer. Construction of Abdominal Probabilistic Atlases and Their Value in Segmentation of Normal Organs in Abdominal CT Scans |
2302 | -- | 2305 | In Hwan Doh, Myoung Sub Shim, Eunsam Kim, Jongmoo Choi, Donghee Lee, Sam H. Noh. An Empirical Study of FTL Performance in Conjunction with File System Pursuing Data Integrity |
2306 | -- | 2310 | Min Soo Kim 0001, Ju-Wan Kim, Myoung-Ho Kim. Hybrid Spatial Query Processing between a Server and a Wireless Sensor Network |
2311 | -- | 2315 | Eun-Jun Yoon, Kee-Young Yoo. A Biometric Authenticated Key Agreement Protocol for Secure Token |
2316 | -- | 2318 | Miyuki Koshimura, Hidetomo Nabeshima, Hiroshi Fujita, Ryuzo Hasegawa. Solving Open Job-Shop Scheduling Problems by SAT Encoding |
2319 | -- | 2323 | Chang Sik Son, Yoon Nyun Kim, Kyung-Ri Park, Hee Joon Park. Design of Hierarchical Fuzzy Classification System Based on Statistical Characteristics of Data |
2324 | -- | 2326 | Xia Mao, Lijiang Chen. Speech Emotion Recognition Based on Parametric Filter and Fractal Dimension |
2327 | -- | 2330 | Sung-Soo Kim, Chang Woo Han, Nam Soo Kim. Study of Prominence Detection Based on Various Phone-Specific Features |
2331 | -- | 2335 | Chang Woo Han, Shin Jae Kang, Nam Soo Kim. Estimation of Phone Mismatch Penalty Matricesfor Two-Stage Keyword Spotting |
2336 | -- | 2338 | Do-Gil Lee, Gum-Won Hong, Seok Kee Lee, Hae-Chang Rim. Minimizing Human Intervention for Constructing Korean Part-of-Speech Tagged Corpus |