1669 search results - page 282 / 334 » Structured Specification of Model Interpreters |
101
click to vote
NIPS
2001
15 years 1 months ago
2001
We show that states of a dynamical system can be usefully represented by multi-step, action-conditional predictions of future observations. State representations that are grounded...
105
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...
IJVR
2008
14 years 11 months ago
2008
Evolutionary computation is a generic term used to make reference to the solution of computational problems planned and implemented based on models of an evolutionary process. Most...
JSS
2008
14 years 11 months ago
2008
The Web has become a ubiquitous tool for distributing knowledge and information and for conducting businesses. To exploit the huge potential of the Web as a global information rep...
AND
2010
14 years 10 months ago
2010
In this paper we will present a set of experiments using large digitalized collections of books to show that logical structures can be extracted with good quality when working at ...