Information and Systems-Theoretical Foundations of Computing(Date:1994/07/25)

Presentation
表紙

,  

[Date]1994/7/25
[Paper #]
目次

,  

[Date]1994/7/25
[Paper #]
On Feature Extraction of Indian Characters by Using Neural Networks

Kanad Keeni,  Tetsuro Nishito,  Hiroshi Shimodaira,  

[Date]1994/7/25
[Paper #]COMP94-24
Approximationg 3-Dimensional Matching via Local Improvements

Magnus M. Halldorsson,  

[Date]1994/7/25
[Paper #]COMP94-25
On Efficient Verification Methods for Concurrent Systems Using Structural Properties

Kunihiko Hiraishi,  

[Date]1994/7/25
[Paper #]COMP94-26
On the power of alternation on reversal-bounded alternating Turing machines

Hiroaki Yamamoto,  

[Date]1994/7/25
[Paper #]COMP94-27
Evolutional Tableau for Temporal Logic Specications

Masahiko Tomoishi,  Naoki Yonezaki,  

[Date]1994/7/25
[Paper #]COMP94-28
On the Church-Rosser property of E-overlapping and simple-right-linear TRS's

Michio Oyamaguchi,  Yoshihito Toyama,  

[Date]1994/7/25
[Paper #]COMP94-29
Experimental Evaluation on the Time Complexity for Mutual Exclusion Algorithm

Akihiro Fujii,  Qi Wu,  Yoshiaki Nemoto,  

[Date]1994/7/25
[Paper #]COMP94-30
A Feasibility Decision Algorithm for Rate Monotonic Scheduling of Periodic Real-Time Tasks

Yoshifumi Manabe,  Shigemi Aoyagi,  

[Date]1994/7/25
[Paper #]COMP94-31
The Minimum Base Game on Matroids

Hiroshi Nagamochi,  Naohisa Kabutoya,  Dao-Zhi Zeng,  Toshihide Ibaraki,  

[Date]1994/7/25
[Paper #]COMP94-32
The optimality and the hardness in eumorphous tree drawings

Kensei Tsuchida,  

[Date]1994/7/25
[Paper #]COMP94-33
Learning d-nary Relations

Atsuyoshi Nakamura,  

[Date]1994/7/25
[Paper #]COMP94-34
A High-speed Square-Rooting Algorithm Using Continued Fractions

Masayuki Ito,  Naofumi Takagi,  Syuzo Yajima,  

[Date]1994/7/25
[Paper #]COMP94-35
[OTHERS]

,  

[Date]1994/7/25
[Paper #]