OHNO YUTAKA | 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