Sciweavers

33356 search results - page 77 / 6672
» Models of Continual Computation
Sort
View
TAP
2009
Springer
117views Hardware» more  TAP 2009»
14 years 5 months ago
Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process
Paula Herber, Florian Friedemann, Sabine Glesner
ESANN
2008
14 years 18 days ago
Model-Based Reinforcement Learning with Continuous States and Actions
Marc Peter Deisenroth, Carl Edward Rasmussen, Jan ...