スポンサーリンク
Department Of Information Science Kyoto University | 論文
- Minimum One-Shot State Assignment for Asynchronous Sequential Machines Using BDD
- Proposal of a Negotiation Protocol for Multi-user Scheduling System
- Cooperative Query Formulation for Geographic Databases
- APL Interactive Processing System on a Minicomputer
- A Scheme to Execute the Dynamic Linker as a Non-Privileged Procedure
- Evaluating Dialogue Strategies under Communication Errors Using Computer-to-Computer Simulation
- The Complexity of the Optimal Variable Ordering Problems of a Shared Binary Decision Diagram
- A Raster-scan Computer Graphic Display Device Having Random-scan Functions with Color Specifying Light Pen Facility
- Comparison of discrete and continuous classifier-based HMM
- A Classical Catch/Throw Calculus with Tag Abstractions and its Strong Normalizability(Type Theory and its Applications to Computer Systems)
- A Conversational Picture Processing System by Computer
- A Programming Language and its Implementation for a Mini-computer
- Minimizing Page Fetches for Permuting Information in Two-Level Storage : Part 2. Design of the Algorithm for Arbitrary Permutations
- Towards Integration of Heterogeneous Knowledge for Highly Autonomous Analysis of Dynamical Systems : Preliminary Report from the PSX Project
- Minimizing Page Fetches for Permuting Information in Two-Level Storage : Part 1. Generalization of the Floyd Model
- NK1.1+CD4+CD8+ thymocytes with specific lymphokine secretion
- An Automatic Method for Smoothing Two-Dimensional Data with a Piecewise Bicubic Polynomial
- Performing Set Operations by Using Hashing Techniques
- Combinatorial Algorithms Using Boolean Processing
- Minimum Single Transition-Time Assignments for Asynchronous Sequential Circuits Using BDD