IEICE transactions on information and systems

• 

  Año 2001, Vol. 84, Número 1

  • A Theory of Demonstrating Program Result-Correctness with Cryptographic Applications

    Kouichi Sakurai

    págs. 4-14

    

  • A Characterization of Some Linear Cellular Automata

    Marcel Crasmaru

    págs. 15-20

    

  • Uniquely Parallel Parsable Unification Grammars

    Boo Hwan Lee, I. H. Jahng

    págs. 21-27

    

  • Recognition of Ordered Tree-Shellable Boolean Functions Based on OBDDs

    Yasuhito Takenaga

    págs. 28-33

    

  • A Refined Definition of Semantic Security for Public-Key Encryptio Schemes

    Hideaki Sakai

    págs. 34-39

    

  • An Unbiased Global Coin Flipping Protocol on Synchronous Distributed Systems

    Kunikazu Yoda

    págs. 40-47

    

  • Discovering Knowledge from Graph Structured Data by Using Refutably Inductive Inference of Formal Graph Systems

    T. Miyahara

    págs. 48-56

    

  • A Note on Sensing Semi-One-Way Simple Multihead Finite Automata

    Ying Hong Wang

    págs. 57-60

    

  • Sublogarithmic Space-Bounded Multi-Inkdot Two-Way Alternating Turing Machines with Only Universal States

    Tsunehiro Yoshinaga

    págs. 61-64

    

  • Competitive Analysis of Minimal Oblivous Routing Algorithms on Hypercubes

    T. H. Yeh

    págs. 65-75

    

  • Index Interpolation: A Subsequence Matching Algroithm Supporting Moving Average Transforms of Arbitrary Order in Time-Series Databases

    W. K. Loh

    págs. 76-86

    

  • Modeling of Static and Dynamic Guard Channel Schemes for Mobile Transactions

    G. C. Chen

    págs. 87-99

    

  • Extracting Typical Classes and a Database Schema from Semistructured Data

    Nobutaka Suzuki

    págs. 100-112

    

  • A Technique for On-Line Data Migration

    Jia Ching Wang

    págs. 113-120

    

  • Fault-Tolerant Routing Algorithms for Hypercube Interconnection Networks

    Keiichi Kaneko

    págs. 121-128

    

  • Simplified Semantic Structures for Representing Belief States in Multi-Agent Environments

    H. Katsuno

    págs. 129-141

    

  • A Speech Translation System Applied to a Real-World Task/Domain and Its Evaluation Using Real-World Speech Data

    Akio Nakamura

    págs. 142-154

    

  • Noise Variance Estimation for Kalman Filtering of Noisy Speech

    Wanyoung Kim

    págs. 155-160

    

  • Computer-Aided Diagnosis System for Comparative Reading of Helical CT Images for the Detection of Lung Cancer

    H. Satoh

    págs. 161-170

    

  • Data Hiding under Fractal Image Generation via Fourier Filtering Method

    S. Takano

    págs. 171-178

    

  • Robust Motion Tracking of Multiple Objects with KL-IMMPDAF

    J. Son

    págs. 179-187

    

  • Realtime Concatenation Technique for Skeletal Motion in Humanoid Animation

    Y. Mochizuki

    págs. 188-200

    

  • An Automatic Colon Segmentation for 3D Virtual Colonoscopy

    Makoto Sato

    págs. 201-208

    

  • Overcomplete Blind Source Separation of Finite Alphabet Sources

    B. C. Ihm

    págs. 209-212

    

  • Partitioning of Linearly Transformed Input Space in Adaptative Network Based Fuzzy Inference System

    J. Ryu

    págs. 213-216