スポンサーリンク
Department Of Information Science Kyoto University | 論文
- Formant structure estimation using vocal tract length normalization for CALL systems
- Translating Access Authorizations for Transformed XML Documents
- Subset Graphs and Their Applications to Databases (Applied Combinatorial Theory and Algorithms)
- A Formal Theory of Symbolic Expressions(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)
- Algebraic Structure of Symbolic Expressions (Mathematical Studies of Information Processing)
- ニセ金発見パズルについて (計算機によるパズル・ゲームの研究)
- On Formal Fractions Associated with the Symmetric Groups (組合せ構造とグラフ理論)
- 2個の生成元を持つFree IN-Algebra及びFree ICN-Algebraの決定 (数理論理とモデル理論)
- Lゲームの計算機による分類 (計算機によるゲームとパズルをめぐる諸問題研究会報告集)
- Infrared Observations of the Interface Electric Cuttent along the Methyl Alcohol-Silica Interface
- Change in the Electric Current Required to Sustain Steady Electroosmotic Flow in a Capillary
- A Computer Communication Control Technique for Virtualization of Network Memory Resources and Its Implementation
- Concurrent LISP and Its Interpreter
- A Supporting System for Software Maintenance : Ripple Effect Analysis of Requirements Description Modification
- 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
- Classical Brouwer-Heyting-Kolmogorov interpretation
- Unsupervised Speaker Normalization by Speaker Markov Model Converter for Speaker-Independent Speech Recognition Systems
- Regular Temporal Logic Expressively Equivalent to Finite Automata and Its Application to Logic Design Verification
- Locally Exhaustive Testing of Combinational Circuits Using Linear Logic Circuits