1228 search results - page 30 / 246 » Continuations, proofs and tests |
CL
2000
Springer
13 years 11 months ago
2000
Springer
We use Kleene algebra with tests to verify a wide assortment of common compiler optimizations, including dead code elimination, common subexpression elimination, copy propagation,...
JANCL
2006
13 years 8 months ago
2006
We describe KAT-ML, an implementation of an interactive theorem prover for Kleene algebra with tests (KAT). The system is designed to reflect the natural style of reasoning with K...
ECCC
2011
12 years 11 months ago
2011
The last two decades have seen enormous progress in the development of sublinear-time algorithms — i.e., algorithms that examine/reveal properties of “data” in less time tha...
NAACL
1994
13 years 9 months ago
1994
The goal of this study is to evaluate the potential for using large vocabulary continuous speech recognition as an engine for automatically classifying utterances according to the...
MCS
2008
Springer
13 years 7 months ago
2008
Springer
Validated continuation was introduced in [4] as means of checking that the classical continuation method applied to a Galerkin projection of a PDE provides a locally unique equili...