827 search results - page 70 / 166 » Patterns for Timed Property Specifications |
117
click to vote
ICVGIP
2008
15 years 4 months ago
2008
Fourier domain methods have had a long association with geometric vision. In this paper, we introduce Fourier domain methods into the field of visual servoing for the first time. ...
100
click to vote
AUTOMATICA
2006
15 years 3 months ago
2006
: The main goal when synthesizing robust residual generators, for diagnosis and supervision, is to attenuate influence from model uncertainty on the residual while keeping fault de...
115
Voted
CHI
2002
ACM
16 years 3 months ago
2002
ACM
A prototype device is described that allows a user to understand and contemplate the inner workings of a common home appliance, the refrigerator. The device monitors select physic...
134
click to vote
UAI
1996
15 years 4 months ago
1996
In this paper we propose a family of algorithms combining treeclustering with conditioning that trade space for time. Such algorithms are useful for reasoning in probabilistic and...
105
click to vote
ENTCS
2002
15 years 3 months ago
2002
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...