IEICE transactions on information and systems

• 

  Año 1998, Vol. 81, Número 1

  • A polynomial-time algorithm for checking the inclusion for real-time deterministic restricted one-counter automata which accept by accept mode

    Ken Higuchi, Mitsuo Wakatsuki, Etsuji Tomita

    págs. 1-11

    

  • TPF: an effective method for verifying synchronous circuits with induction-based provers

    Kazuo Takahashi, Hiroshi Fujita

    págs. 12-18

    

  • Accuracy of the minimum time estimate for programs on heterogeneous machines

    Dingchao Li, Yuji Iwahori, Naohiro Ishii

    págs. 19-26

    

  • An efficient causal milticast algorithm for distributed system

    Ik Hyeon Jang, Jung Wan Cho, Hyunsoo Yoon

    págs. 27-36

    

  • On strategies for allocating replicas of mobile databases

    Kaname Harumoto, Masahiko Tsukamoto, Shojiro Nishio

    págs. 37-46

    

  • Interval-based modeling for temporal representation andn operations

    Toshiyuki Amagasa, Masayoshi Aritsugi, Yoshinari Kanamori

    págs. 47-55

    

  • Fault-tolerant meshes with efficient layouts

    Toshinori Yamada, Shuichi Ueno

    págs. 56-65

    

  • On the activation function and fault tolerance in feedforward neural networks

    Nait Charif Hammadi, Hideo Ito

    págs. 66-72

    

  • Reliability analysis of disk array organizations by considering uncorrectable bit errors

    Xuefeng Wu, Jie Li, Hisao Kameda

    págs. 73-80

    

  • Accelerated composition for parallel volume rendering

    Tetu Hirai, Tsuyoshi Yamamoto

    págs. 81-87

    

  • Feature space design for statistical image recognition with image screening

    Koichi Arimura, Norihiro Hagita

    págs. 88-93

    

  • Parametric piecewise modeling of bézier and polynomial surfaces

    Mohamed Imine, Hiroshi Nagahashi

    págs. 94-104

    

  • Use of multimodal information in facial emotion recognition

    Liyanage C. de Silva, Ysutomu Miyasato, Ryohei Nakatsu

    págs. 105-114

    

  • Dynamic constructive fault tolerant algorithm for feedfoward neural networks

    Nait Charif Hammadi, Toshiaki Ohmameuda, Keiichi Kaneko

    págs. 115-123

    

  • Extraction of color responses from visual evoked potentials using the binary kernel method

    Keiko Momose

    págs. 124-131

    

  • A new self-organization classification algorithm for remote-sensing images

    Souichi Oka, Tomoaki Ogawa, Yoshiyasu Takefuji

    págs. 132-136

    

  • Value-based scheduling for multiprocesor real-time database systems

    Shin Mu Tseng, Y.H. Chin, Wei Pang Yang

    págs. 137-143

    

  • Batch mode algorithms of classification by feature partitioning

    Hiroyoshi Watanabe, Masayuki Arai, Kenzo Okuda

    págs. 144-147

    

  • Optimal design of hopfield-type associative memory by adaptive stability-growth method

    Xue Bin Liang, Toru Yamaguchi

    págs. 148-150