904 search results - page 116 / 181 » The State Problem for Evolutionary Testing |
NAACL
1994
14 years 11 months ago
1994
In this paper, we introduce the new paradigm used in the most recent ARPA-sponsoredContinuousSpeech Recognition(CSR) evaluation and then discuss the important features of the test...
SIGSOFT
2006
ACM
15 years 10 months ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
ICDT
2003
ACM
15 years 3 months ago
2003
ACM
We consider the problem of evaluating a large number of XPath expressions on an XML stream. Our main contribution consists in showing that Deterministic Finite Automata (DFA) can b...
AUTOMATICA
2006
14 years 10 months ago
2006
A detailed study on the design of decentralized Receding Horizon Control (RHC) schemes for decoupled systems is presented. An optimal control problem is formulated for a set of de...
WABI
2007
Springer
15 years 4 months ago
2007
Springer
Christopher James Langmead⋆ and Sumit Kumar Jha Department of Computer Science, Carnegie Mellon University We present a novel approach for predicting protein folding kinetics us...