677 search results - page 99 / 136 » Dependent Types from Counterexamples |
EMSOFT
2008
Springer
14 years 11 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
LREC
2010
14 years 11 months ago
2010
We perform a large-scale evaluation of multiple off-the-shelf speech recognizers across diverse domains for virtual human dialogue systems. Our evaluation is aimed at speech recog...
IIWAS
2007
14 years 11 months ago
2007
Electronic marketplaces can provide several types of business processes depending upon their target audience. A form of such processes is electronic auction. It is a system for ac...
LREC
2008
14 years 11 months ago
2008
Semantic similarity is a key issue in many computational tasks. This paper goes into the development and evaluation of two common ways of automatically calculating the semantic si...
CDES
2006
14 years 11 months ago
2006
Fast Fourier Transform (FFT) is one of the most widely used algorithms in digital signal processing. It is used in many signal processing and communication applications. many of t...