IEICE transactions on information and systems

• 

  Año 1999, Vol. 82, Número 2

  • Unreachability Proofs for ß Rewriting Systems by Homomorphisms

    K. Akama, Y. Shigeta, E. Miyamoto

    págs. 339-347

    

  • A On-Line Prediction Algorithm Combining Several Prediction Strategies in the Shared Bet Model

    I. Tajika, Eiji Takimoto, Akira Maruoka

    págs. 348-355

    

  • Learning Bayesian Belief Networks Based on the MDL Principle: An Efficient Algorithm Using the Branch and Bound Technique

    J. Suzuki

    págs. 356-367

    

  • Some Modifications of the Tournament Algorithm for the Mutual Exclusion Problem

    Yoshihide Igarashi, H. Kurumazaki, Yasuaki Nishitani

    págs. 368-375

    

  • Invariant-Free Formal Verification of Pipelined and Superscalar Controls by Behavior-Covering and Partial Unfolding

    T. Shonai, Tohru Shimizu

    págs. 376-388

    

  • REMARC: Reconfigurable Multimedia Array Coprocessor

    T. Miyamori, K. Olukotun

    págs. 389-397

    

  • ASADAL/PROVER: A Toolset for Verifying Temporal Properties of Real-Time System Specifications in Statechart

    K. Ko, K. Kang

    págs. 398-411

    

  • On Relocation Decision Policies of Mobile Databases

    K. Budiarto

    págs. 412-421

    

  • A Routing Algorithm for Multihop WDM Ring

    X. Dong, T. Kudoh, Hideharu Amano

    págs. 422-430

    

  • A Frame-Dependent Fuzzy Compensation Method for Speech Recognition over Time-Varying Telephone Channels

    Wei Wen Hung, H. Wang

    págs. 431-438

    

  • Feature-Specification Algorithm Based on Snake Model for Facial Image Morphing

    A. Hassanien, Masayuki Nakajima

    págs. 439-446

    

  • Optimal Robot Self-Localization and Accurancy Bounds

    Kenichi Kanatani, Naoya Ohta

    págs. 447-452

    

  • Automated Detection and Romoval of Clouds and Their Shadows from Landstat TM Images

    B. Wang

    págs. 453-460

    

  • Region-Based Prediction Coding for Compression of Noisy Synthetic Images

    Yangxing Liu, Masayuki Nakajima

    págs. 461-467

    

  • A Character-Based Postprocessing System for Handwritten Japanese Recognition

    K. Yamanaka, S. Kuroyanagi, Atsushi Iwata

    págs. 468-474

    

  • Finite Approximations of Predicate Circumscription

    K. Oota, K. Iwanuma

    págs. 475-479

    

  • Improving Generalization Ability through Active Learning

    S. Vijayakumar, Hidemitsu Ogawa

    págs. 480-487

    

  • Admissibility of Memorization Learning with Respect to Projection Learning in the Presence of Noise

    Akira Hirabayashi, Hidemitsu Ogawa, Yoichi Yamashita

    págs. 488-496

    

  • A Fast and Stable Method for Detecting and Tracking Medical Organs in MRI Sequences

    D. Kang

    págs. 497-499

    

  • Viewpoint-Based Similarity Discernment on SNAP

    T. Yukawa, Sanda M. Harabagiu, D. Moldovan

    págs. 500-502

    

  • Derivation of the Iteration Algorithm for the Modified Pseudo-Inverse Model for Associative Memory from the Consideration of the Energy Function

    Y. Ogawa, I. Nemoto

    págs. 503-507

    

  • Acceleration Techniques for the Network Inversion Algorithm

    Hiroyuki Takizawa

    págs. 508-511