912 search results - page 67 / 183 » Abstract Saturation-Based Inference |
121
Voted
CADE
2007
Springer
16 years 2 months ago
2007
Springer
Abstract. In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equ...
118
click to vote
ICDE
2010
IEEE
16 years 2 months ago
2010
IEEE
Abstract-- A large amount of the world's data is both sequential and imprecise. Such data is commonly modeled as Markovian streams; examples include words/sentences inferred f...
130
Voted
CC
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Scientists are increasingly using dynamic programming languages like Matlab for prototyping and implementation. Effectively compiling Matlab raises many challenges due t...
127
Voted
ICCPOL
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In a spoken dialogue system, the speech recognition performance accounts for the largest part of the overall system performance. Yet spontaneous speech recognition has an...
121
Voted
ICRA
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— Imitation learning, or programming by demonstration (PbD), holds the promise of allowing robots to acquire skills from humans with domain-specific knowledge, who nonet...