1322 search results - page 44 / 265 » Efficient Goal-Directed Exploration |
COLT
1994
Springer
13 years 12 months ago
1994
Springer
Realistic domains for learning possess regularities that make it possible to generalize experience across related states. This paper explores an environment-modeling framework tha...
CEC
2009
IEEE
13 years 11 months ago
2009
IEEE
Radio Frequency IDentification (RFID) technology is increasingly being used to uniquely identify objects. An important component of RFID systems is the design of the antenna - whic...
CAV
2004
Springer
13 years 11 months ago
2004
Springer
JNuke is a framework for verification and model checking of Java programs. It is a novel combination of run-time verification, explicit-state model checking, and counter-example ex...
EUROCAST
2007
Springer
13 years 11 months ago
2007
Springer
Most non-trivial applications use some form of input/output (I/O), such as network communication. When model checking such an application, a simple state space exploration scheme i...
FCCM
2004
IEEE
13 years 11 months ago
2004
IEEE
In this paper we present a novel use of an FPGA as a computing element for streaming based application. We investigate the virtualized execution of dynamic reconfigurable tasks. We...