1542 search results - page 198 / 309 » The Observational Power of Clocks |
100
Voted
DSN
2004
IEEE
15 years 4 months ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...
105
Voted
FM
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents the formal verification of a compiler front-end that translates a subset of the C language into the Cminor intermediate language. The semantics of the source an...
107
click to vote
IDMS
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. This paper presents a framework for monitoring component interactions. It is part of a larger component framework built on top of the CORBA distributed processing environ...
123
Voted
ISER
1995
Springer
15 years 4 months ago
1995
Springer
We present an active approach for discriminating different materials by impulsively contacting (hitting) them, and sensing and interpreting the resulting sounds. In theory, the an...
153
click to vote
FLAIRS
2008
15 years 3 months ago
2008
Hidden Markov models are a powerful technique to model and classify temporal sequences, such as in speech and gesture recognition. However, defining these models is still an art: ...