Katsuo Ikeda | Department of Information Science, Faculty of Engineering, Kyoto University
スポンサーリンク
概要
- Katsuo Ikedaの詳細を見る
- 同名の論文著者
- Department of Information Science, Faculty of Engineering, Kyoto Universityの論文著者
Department of Information Science, Faculty of Engineering, Kyoto University | 論文
- On Design Varification between Different Levels of Abstraction Using Regular Temporal Logic
- On the Size of Ordered Binary Decision Diagrams Representing Threshold Functions
- Computational Power of a Memory-Based Paralled Computation Model with Communication
- An Efficient Algorithm for Point Pattern Matching Using Ordered Lists
- On-line Recognition of Hand-written Characters by General Contour Vector Sequence Method