IEICE SEARCH SYSTEM

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

Archive Index

Online ISSN : 1881-0225

Volume J90-D No.4 (Publication Date:2007/04/01)

Special Section on Formal Approaches

pp.978-989 PAPER Usable Rules and Labeling Product-Typed Terms for Dependency Pair Method in Simply-Typed Term Rewriting Systems Takahiro SAKURAI Keiichirou KUSAKARI Masahiko SAKAI Toshiki SAKABE Naoki NISHIDA
	Summary \| Full Text(in Japanese):PDF (303.6KB)

pp.990-1004 PAPER Update Operation Sets for Schema Evolution in XML Databases and Their Properties on Preservation of Schema's Expressive Power Kenji HASHIMOTO Yasunori ISHIHARA Toru FUJIWARA
	Summary \| Full Text(in Japanese):PDF (374.4KB)

pp.1005-1013 PAPER Consistency Management of UML Model Based on Constraint Rules and Repair Actions Toru SASAKI Kozo OKANO Shinji KUSUMOTO
	Summary \| Full Text(in Japanese):PDF (361.9KB)

Regular Section

pp.1014-1022 PAPER Development of Power Analysis Attacking System for Experiment in Computer Science Takakazu KUROKAWA Minoru SASAKI Keisuke IWAI Yasuhiro SHINOZAKI Atsunori SAKURAI
	Summary \| Full Text(in Japanese):PDF (586.5KB)

pp.1023-1030 PAPER Placing Agents in Massively Multi-Agent Systems Naoki MIYATA Toru ISHIDA
	Summary \| Full Text(in Japanese):PDF (363.4KB)

pp.1031-1042 PAPER Classical First-order Logic with Strong Negation and Classical Negation Ken KANEIWA
	Summary \| Full Text(in Japanese):PDF (326.9KB)

pp.1043-1054 PAPER Group Task Achievement under a Social Distributed Cognitive Environment: An Effect of Closeness between Group Members Masafumi MATSUDA Mitsunori MATSUSHITA Takeshi NAEMURA
	Summary \| Full Text(in Japanese):PDF (415.7KB)

pp.1055-1062 PAPER A Classification Method Using Weighted Nearest Neighbor Method Based on a Supervised Decision Algorithm of Plural Class Presentation Points Hiroki IMAMURA Makoto FUJIMURA Hideo KURODA
	Summary \| Full Text(in Japanese):PDF (546.9KB)

pp.1063-1072 PAPER A View Interpolation Method without Depth Estimation and Its Stability Analysis for Generating a Center View Image Using Multiple Images of a Circular Camera Array Akira KUBOTA Kazuya KODAMA Yoshinori HATORI
	Summary \| Full Text(in Japanese):PDF (688.2KB)

pp.1073-1084 PAPER Generation of High Resolution Video Using Morphing Toru MATSUNOBU Hajime NAGAHARA Yoshio IWAI Masahiko YACHIDA Toshiya SUZUKI
	Summary \| Full Text(in Japanese):PDF (1.3MB)

pp.1085-1095 PAPER Construction of a Street Image Map and Change Detection in Streetscapes from GPS Coordinated Omni-Directional Image Sequences Junji SATO Tomokazu TAKAHASHI Ichiro IDE Hiroshi MURASE
	Summary \| Full Text(in Japanese):PDF (1.6MB)

pp.1096-1104 PAPER Mean Shift Tracking Using Optical Flow Distribution Naoya OSHIMA Takeshi SAITOH Ryosuke KONISHI
	Summary \| Full Text(in Japanese):PDF (635.4KB)

pp.1105-1114 PAPER Lip Reading Based on Trajectory Feature Takeshi SAITOH Ryosuke KONISHI
	Summary \| Full Text(in Japanese):PDF (584.6KB)

pp.1115-1123 PAPER Modeling of Individual Characteristics in Driving Behavior Signals Using Spectral Analysis Koji OZAWA Yoshihiro NISHIWAKI Toshihiro WAKITA Chiyomi MIYAJIMA Katsunobu ITOU Kazuya TAKEDA
	Summary \| Full Text(in Japanese):PDF (1.5MB)

pp.1124-1135 PAPER Analysis of Variability of Human Reaching Movements Based on the Similarity Preservation of Trajectories Takashi OYAMA Yoji UNO
	Summary \| Full Text(in Japanese):PDF (825.8KB)

pp.1136-1148 PAPER Measurement and Modeling of N1m in MEG Evoked by Stimuli Causing Auditory Backward Masking Masaya ABE Iku NEMOTO Keita TANAKA Masaki KAWAKATSU Makoto KOTANI
	Summary \| Full Text(in Japanese):PDF (1.2MB)

pp.1149-1157 PAPER Anti-alias Image Reconstruction Using MR Phase Scrambling Fourier Transform Imaging Satoshi ITO Shun NAKAMURA Na LIU Yoshifumi YAMADA
	Summary \| Full Text(in Japanese):PDF (2.5MB)

pp.1158-1160 LETTER Java Program Similarity Measurement Method Using Token Structure and Execution Control Structure Kazuo KOBORI Tetsuo YAMAMOTO Makoto MATSUSHITA Katsuro INOUE
	Summary \| Full Text(in Japanese):PDF (94.1KB)

pp.1161-1164 LETTER Imposter by Pre-Recorded Utterances in Speaker Verification Seiji SUWA Hiromitsu KASHIWAGI
	Summary \| Full Text(in Japanese):PDF (191.9KB)