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)
Previous | 
Next
Special Section on Formal Approach

pp.576-586  PAPER
Model Checking of Timed Automata
Akio NAKATA  
Summary | Full Text(in Japanese):PDF (269KB) >>Buy this Article

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

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 (551.5KB) >>Buy this Article

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 (548.2KB) >>Buy this Article

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 (413.8KB) >>Buy this Article

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) >>Buy this Article

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 (716.3KB) >>Buy this Article

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) >>Buy this Article

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 (802.8KB) >>Buy this Article

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) >>Buy this Article

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) >>Buy this Article

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 (182.5KB) >>Buy this Article

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

Previous | 
Next
go to Page Top