IEICE SEARCH SYSTEM

D - Abstracts of IEICE TRANSACTIONS on Information and Systems (Japanese Edition)

Archive Index

Online ISSN : 1881-0225

Volume J92-D No.5 (Publication Date:2009/05/01)

Special Section on Formal Approach

pp.576-586 PAPER Model Checking of Timed Automata Akio NAKATA
	Summary \| Full Text(in Japanese):PDF (267.2KB)

pp.587-595 PAPER Security Proof of Cryptographic Systems Using Universal Composability Theory Tatsuaki OKAMOTO Yoshifumi MANABE
	Summary \| Full Text(in Japanese):PDF (350.1KB)

pp.596-607 PAPER Analysis of an Oblivious Transfer Protocol by Using Symbolic Cryptographic Analysis Hiroaki OGURO Shigeki HAGIHARA Naoki YONEZAKI
	Summary \| Full Text(in Japanese):PDF (549.1KB)

Regular Section

pp.608-617 PAPER A Modification Algorithm for Bugs in Learner's Structural Knowledge to Make Use Coaching Satoshi TOMITA Makoto TAKEYA
	Summary \| Full Text(in Japanese):PDF (546.4KB)

pp.618-627 PAPER A Study on Phonetic Alphabet of Screen Readers for Blind Persons -- Selection of Words for Explanation Based on Vocabulary Characteristics of Junior High School Students -- Tetsuya WATANABE Tomomi SASAKI Shigeyoshi AOKI Nobuyuki NAGAI
	Summary \| Full Text(in Japanese):PDF (412.3KB)

pp.628-638 PAPER Combining Different Types of Local Features for Generic Object Recognition Yasunori KAMIYA Yoshikazu YANO Shigeru OKUMA Tomokazu TAKAHASHI Ichiro IDE Hiroshi MURASE
	Summary \| Full Text(in Japanese):PDF (1.7MB)

pp.639-649 PAPER Fundamental Frequency Estimation of Noisy Speech Using Amplitude-Adjusted and Modulated Amplitude Spectrum Keita OGAWA Takeshi FUKABAYASHI
	Summary \| Full Text(in Japanese):PDF (714.2KB)

pp.650-660 PAPER A Robust Super-Resolution Based on Local Similarity and Displacement Masayuki TANAKA Yoichi YAGUCHI Eiji FURUKAWA Masatoshi OKUTOMI
	Summary \| Full Text(in Japanese):PDF (1.9MB)

pp.661-670 PAPER Mirror Localization for Catadioptric Imaging System by Observing Parallel Light Pairs Nobuya AOKI Ryusuke SAGAWA Yasushi YAGI
	Summary \| Full Text(in Japanese):PDF (800.8KB)

pp.671-682 PAPER Efficient Direct Plane Parameter Estimation Using Multiple Stereo Images and Its Application to Virtual-Focal-Plane Image Synthesis Shigeki SUGIMOTO Masatoshi OKUTOMI
	Summary \| Full Text(in Japanese):PDF (1MB)

pp.683-693 PAPER A Proposal of a Way for Decreasing of Individual Differences on Knee Joint Motions Obtained by Pendulum Test -- For Spastic Patients -- Kazuaki JIKUYA Hiroyuki MICHINISHI Takuji OKAMOTO Masaki ISE Akio TSUBAHARA Ken AKASHI
	Summary \| Full Text(in Japanese):PDF (1.4MB)

pp.694-697 LETTER Dots Distribution-Excelled Three-Level Error Diffusion Method with Arbitrary Middle Quantization Level Noriaki SUETAKE Eiji UCHINO Erika NAKASHIMA
	Summary \| Full Text(in Japanese):PDF (181KB)

pp.698-701 LETTER Semi-Supervised Image Recognition Based on Smoothed-Image Euclidean Distance Kohei INOUE Kiichi URAHAMA
	Summary \| Full Text(in Japanese):PDF (279.1KB)