5634 search results - page 944 / 1127 » About Abstract Classes |
151
click to vote
ICGI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present an exact algorithm for identification of deterministic finite automata (DFA) which is based on satisfiability (SAT) solvers. Despite the size of the low level ...
144
click to vote
ICMLA
2010
15 years 3 months ago
2010
Abstract--We study how to effectively integrate reinforcement learning (RL) and programming languages via adaptation-based programming, where programs can include non-deterministic...
171
Voted
ICTAI
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--The difficulties encountered in sequential decisionmaking problems under uncertainty are often linked to the large size of the state space. Exploiting the structure of th...
147
click to vote
IPPS
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--This paper explores the computation and communication overlap capabilities enabled by the new CORE-Direct hardware capabilities introduced in the InfiniBand (IB) Host Cha...
161
click to vote
IPPS
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--Uintah is a highly parallel and adaptive multiphysics framework created by the Center for Simulation of Accidental Fires and Explosions in Utah. Uintah, which is built up...