1837 search results - page 84 / 368 » Abstraction and the C Machine Model |
160
click to vote
ALT
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We consider the problem of sequence prediction in a probabilistic setting. Let there be given a class C of stochastic processes (probability measures on the set of one-wa...
145
click to vote
ICML
2005
IEEE
16 years 5 months ago
2005
IEEE
This paper describes the use of machine learning to improve the performance of natural language question answering systems. We present a model for improving story comprehension th...
233
click to vote
CC
2009
Springer
16 years 5 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
141
click to vote
AGI
2008
15 years 6 months ago
2008
Artificial Intelligence deals with the automated simulation of human intelligent behavior. Various aspects of human faculties are tackled using computational models. It is clear th...
119
click to vote
FMCAD
2009
Springer
15 years 11 months ago
2009
Springer
Abstract—Several successful approaches to software verificabased on the construction and analysis of an abstract reachability tree (ART). The ART represents unwindings of the co...