4573 search results - page 753 / 915 » Automated Reasoning |
123
click to vote
CL
2010
Springer
15 years 3 months ago
2010
Springer
In a modern programming language, scoping rules determine the visibility of names in various regions of a program [15]. In this work, we examine the idea of allowing an applicatio...
162
Voted
CL
2008
Springer
15 years 3 months ago
2008
Springer
One of the most promising approaches to Java acceleration in embedded systems is a bytecode-to-C ahead-of-time compiler (AOTC). It improves the performance of a Java virtual machi...
165
Voted
CL
2008
Springer
15 years 3 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
128
Voted
CSL
2010
Springer
15 years 3 months ago
2010
Springer
Recently, discriminative training (DT) methods have achieved tremendous progress in automatic speech recognition (ASR). In this survey article, all mainstream DT methods in speech...
155
click to vote
CSL
2010
Springer
15 years 3 months ago
2010
Springer
This paper describes a statistically motivated framework for performing real-time dialogue state updates and policy learning in a spoken dialogue system. The framework is based on...