スポンサーリンク
Department of Information Science, Faculty of Engineering, Kyoto University | 論文
- On Design Varification between Different Levels of Abstraction Using Regular Temporal Logic
- An Efficient Algorithm for Point Pattern Matching Using Ordered Lists
- On the Size of Ordered Binary Decision Diagrams Representing Threshold Functions
- A Computer Communication Control Technique for Virtualization of Network Memory Resources and Its Implementation
- Remarkable Salt Effects in the Highly Enhanced Enantioselective Hydrolysis of Amino Acid Esters with the Active Tripeptide in the Vesicular System
- Utilization of Data Dependencies and Horizontal Decomposition for the Processing of Cylic Queries
- ゲームとオートマトン (計算機によるゲームとパズルをめぐる諸問題研究会報告集)
- Minimum One-Shot State Assignment for Asynchronous Sequential Machines Using BDD
- On-line Recognition of Hand-written Characters by General Contour Vector Sequence Method
- Topic Identification and Prediction Based on the Domain Plan and the Discourse Structure
- Computational Power of a Memory-Based Paralled Computation Model with Communication