Sciweavers

15777 search results - page 188 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
145
Voted
FATES
2006
Springer
15 years 10 months ago
State-Identification Problems for Finite-State Transducers
Moez Krichen, Stavros Tripakis
FATES
2006
Springer
15 years 10 months ago
Online Testing with Reinforcement Learning
Margus Veanes, Pritam Roy, Colin Campbell
FOSSACS
2006
Springer
15 years 10 months ago
A Theory for Observational Fault Tolerance
Adrian Francalanza, Matthew Hennessy