Sciweavers

7 search results - page 2 / 2
» On speeding up extended finite state machines using catalyst...
Sort
View
DATE
2009
IEEE
178views Hardware» more  DATE 2009»
14 years 16 days ago
Correct-by-construction generation of device drivers based on RTL testbenches
Abstract—The generation of device drivers is a very time consuming and error prone activity. All the strategies proposed up to now to simplify this operation require a manual, ev...
Nicola Bombieri, Franco Fummi, Graziano Pravadelli...
ICML
2000
IEEE
14 years 6 months ago
Eligibility Traces for Off-Policy Policy Evaluation
Eligibility traces have been shown to speed reinforcement learning, to make it more robust to hidden states, and to provide a link between Monte Carlo and temporal-difference meth...
Doina Precup, Richard S. Sutton, Satinder P. Singh