1914 search results - page 167 / 383 » Abstract lambda-Calculus Machines |
MLMI
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This article describes a method for document/speech alignment based on explicit verbal references to documents and parts of documents, in the context of multimodal meetin...
VSTTE
2005
Springer
14 years 1 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
CIS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The recognition of vowels in Chinese speech is very important for Chinese speech recognition and understanding. However, it is rather difficult and there has been no effi...
CMMR
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The paper concerns the use of multiple viewpoint representation schemes for prediction with statistical models of monophonic music. We present an experimental comparison ...
COLT
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We provide a natural learning process in which the joint frequency of empirical play converges into the set of convex combinations of Nash equilibria. In this process, al...