スポンサーリンク
Department of Information Science, kyoto University | 論文
- A Verification Method for Formal Requirements Description
- A Two-phase, Cooperative Detailed/Global Parallel Wire Routing Algorithm
- Cooperative Spoken Dialogue Model Using Bayesian Network and Event Hierarchy
- Concurrent LISP and Its Interpreter
- Minimizing Page Fetches for Permuting Information in Two-Level Storage Part 3. The Paging Model : a Further Improvement on the Floyd Model
- Integrated Natural Language Analysis with an Integrated Parsing Engine IPE
- Hands-free speech recognition in real environments using microphone array and 2-levels MLLR adaptation as a front-end system for conversational TV
- Logspace Bounded Alternation and Logical Query Programs
- A cognitive robot aarchitecture based on tactile and visual information
- Unsupervised Speaker Normalization by Speaker Markov Model Converter for Speaker-Independent Speech Recognition Systems
- Visual Software Requirements Specification Technique Based on Communication Model(Special Issue on Knowledge-Based Software Engineering)
- Integration of Scenarios from Different Viewpoints
- Transformation between Scenarios from Different Viewpoints(Requirement Engineering , Knowledge-Based Software Engineering)
- Proposal of a Negotiation Protocol for Multi-user Scheduling System
- Topic Identification and Prediction Based on the Domain Plan and the Discourse Structure
- A Conversational Picture Processing System by Computer
- Minimizing Page Fetches for Permuting Information in Two-Level Storage : Part 1. Generalization of the Floyd Model
- An Automatic Method for Smoothing Two-Dimensional Data with a Piecewise Bicubic Polynomial