IEICE SEARCH SYSTEM

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

Archive Index

Online ISSN : 1881-0225

Volume J89-D No.4 (Publication Date:2006/04/01)

Special Issue on Formal Approaches

pp.624-631 PAPER Implementation and Performance Evaluation of Multi-Completion Procedures for Term Rewriting Systems with Recursive Path Orderings with Status Haruhiko SATO Masahito KURIHARA
	Summary \| Full Text(in Japanese):PDF (408.7KB)

pp.632-641 PAPER Congruence Properties for a Timed Extension of the π-Calculus Hiroaki KUWABARA Shoji YUEN Kiyoshi AGUSA
	Summary \| Full Text(in Japanese):PDF (260.6KB)

pp.642-650 PAPER A Method to Generate Formulae for Temporal Logic Satisfiability Checkers Toshifusa SEKIZAWA Toshinori TAKAI Yoshinori TANABE Koichi TAKAHASHI
	Summary \| Full Text(in Japanese):PDF (244.7KB)

pp.651-659 PAPER Formal Verification of Hardware/Software Co-designs with Translation into Representations in State Transitions Tasuku NISHIHARA Takeshi MATSUMOTO Satoshi KOMATSU Masahiro FUJITA
	Summary \| Full Text(in Japanese):PDF (606.6KB)

pp.660-673 PAPER Asynchronous Circuit Synthesis from a High-Level Specification Language Atsushi MATSUMOTO Tomohiro YONEDA
	Summary \| Full Text(in Japanese):PDF (1.4MB)

pp.674-682 PAPER A Monitor Generation Method for Formal Monitor-Based Verification Considering Input Constraints Yosuke KAKIUCHI Akira KITAJIMA Kiyoharu HAMAGUCHI Toshinobu KASHIWABARA
	Summary \| Full Text(in Japanese):PDF (315.8KB)

pp.683-692 PAPER A Method to Develop Distributed Real-Time Applications Based on UML/OCL Eigo NAGAI Aya MAKIDERA Kozo OKANO Kenichi TANIGUCHI
	Summary \| Full Text(in Japanese):PDF (353.4KB)

pp.693-704 PAPER Machine Execution of Type Inference for JavaScript Based on Model-Generation Theorem Prover Hirotaka OHKUBO Shinichiro YAMAMOTO Toshiki SAKABE Yasuyoshi INAGAKI
	Summary \| Full Text(in Japanese):PDF (546.8KB)

pp.705-715 PAPER Automatic Accessibility Guideline Verification of XML Documents Based on a Specification Language Yoshiaki TAKATA Takeshi NAKAMURA Hiroyuki SEKI
	Summary \| Full Text(in Japanese):PDF (260.4KB)

pp.716-725 PAPER Design and Security Verification of One-Time ID System with Third Party by Belief Logic Kenji IMAMOTO Kouichi SAKURAI
	Summary \| Full Text(in Japanese):PDF (262.8KB)

pp.726-742 PAPER Modeling Protection Profiles by UML and Their Formal Verification Shoichi MORIMOTO Jingde CHENG
	Summary \| Full Text(in Japanese):PDF (395.1KB)

Regular Section

pp.743-754 PAPER An Adaptive Cryptographic Accelerator for IPsec on the Dynamically Reconfigurable Processor Yohei HASEGAWA Shohei ABE Hiroki MATSUTANI Kenichiro ANJO Toru AWASHIMA Hideharu AMANO
	Summary \| Full Text(in Japanese):PDF (573.2KB)

pp.755-766 PAPER Early Software Size Estimation Method Based on Function Point Akira HARADA Ikuo MAKUTA Sadahiro ISHIKAWA Osamu OHNO Shinji KUSUMOTO Katsuro INOUE
	Summary \| Full Text(in Japanese):PDF (1.8MB)

pp.767-777 PAPER Development of an XML-Document Compaction Method to Improve Data-Processing Performance Shigeru YOSHIDA Satoshi NAKASHIMA Junichi ODAGIRI Shuichi ITOH
	Summary \| Full Text(in Japanese):PDF (322.7KB)

pp.778-787 PAPER A Method for Diagnosing Open Faults Using Detecting/Un-detecting Information Yuichi SATO Hiroshi TAKAHASHI Yoshinobu HIGAMI Yuzo TAKAMATSU
	Summary \| Full Text(in Japanese):PDF (328.6KB)

pp.788-796 PAPER A Reinforcement Learning Method Using a Dynamic Reinforcement Function Based on Action Selection Probability Yugo HASEGAWA Satoko TAKADA Hidehiro NAKANO Shuichi ARAI Arata MIYAUCHI
	Summary \| Full Text(in Japanese):PDF (425.5KB)

pp.797-806 PAPER A Support System of Understanding Katakana Loan Words for Learners of Japanese Izumi SUWA Isamu TAKAHASHI Jousuke KUROIWA Tomohiro ODAKA Hisakazu OGURA
	Summary \| Full Text(in Japanese):PDF (327.1KB)

pp.807-815 PAPER New Excitation Codebook Search Methods to Reduce Perceptual Degradation of CELP Tadashi YAMAURA Hirohisa TASAKI Shinya TAKAHASHI
	Summary \| Full Text(in Japanese):PDF (285.1KB)

pp.816-825 PAPER A Probabilistic Method for Vehicle Detection and Class Recognition Shirmila MOHOTTALA Masataka KAGESAWA Katsushi IKEUCHI
	Summary \| Full Text(in Japanese):PDF (542.1KB)

pp.826-835 PAPER Real-Time Extraction of Unknown Region from Dynamic Background by Robust Projection onto Eigen Space Satoshi KAWABATA Sinsaku HIURA Kosuke SATO
	Summary \| Full Text(in Japanese):PDF (833.9KB)

pp.836-849 PAPER Improvements on Watershed-Based Image Segmentation Using Color Edges and Parallel Region Merging Yanjun ZHAO Miki HASEYAMA Hideo KITAJIMA
	Summary \| Full Text(in Japanese):PDF (1.8MB)

pp.850-859 PAPER Assembly of Jigsaw Puzzles Using a GA Fubito TOYAMA Kenji SHOJI Juichi MIYAMICHI
	Summary \| Full Text(in Japanese):PDF (726.1KB)

pp.860-870 PAPER An Automatic Relevance Estimation of Property Values and Its Feedback Based on World Wide Web for Metaphor Recognition Fumito MASUI Jun'ichi FUKUMOTO Kenji ARAKI
	Summary \| Full Text(in Japanese):PDF (403.6KB)

pp.871-882 PAPER Reorganization of Brain Activity for Multiple Internal Models Akihiro TODA Hiroshi IMAMIZU Satomi HIGUCHI Yasuhiro WADA Mitsuo KAWATO
	Summary \| Full Text(in Japanese):PDF (1.4MB)

pp.883-887 LETTER High Speed and High Sensitivity 3-D Measurement Technique Using the Optimal Intensity-Modulated Projection and the Intensity-Phase Analysis Genki CHO Cunwei LU
	Summary \| Full Text(in Japanese):PDF (407.5KB)

pp.888-892 LETTER An Adaptive Partial Averaging Filter Considering Selection of Edge Components Noriyuki TAKAHASHI Yongbum LEE Du-Yih TSAI
	Summary \| Full Text(in Japanese):PDF (337.2KB)

pp.893-896 LETTER String Extraction from Scene Images Using Color and Luminance Information Katsuhiro HIRAYAMA Shinichiro OMACHI Hirotomo ASO
	Summary \| Full Text(in Japanese):PDF (317.6KB)