1980 search results - page 154 / 396 » Compositional Model Checking of Real Time Systems |
135
click to vote
ICIAP
2005
ACM
16 years 1 months ago
2005
ACM
This paper presents the scatter search particle filter (SSPF) algorithm and its application to real-time hands and face tracking. SSPF combines sequential Monte Carlo (particle fil...
232
click to vote
ICASSP
2007
IEEE
15 years 8 months ago
2007
IEEE
Segmentation and tracking methods have been widely explore. However, they are often computationally heavy or require constraining assumptions. We present in this paper a new syste...
107
click to vote
CP
2004
Springer
15 years 7 months ago
2004
Springer
A constraint satisfaction problem (CSP) model can be preprocessed to ensure that any choices made will lead to solutions, without the need to backtrack. This can be especially usef...
122
Voted
VR
2002
IEEE
15 years 6 months ago
2002
IEEE
—Bone dissection is an important component of many surgical procedures. In this paper, we discuss a haptic and visual implementation of a bone cutting burr, that it is being deve...
133
click to vote
DEXA
1999
Springer
15 years 6 months ago
1999
Springer
Due to the unpredictability of mobile network, it is difficult to meet transaction deadlines in a mobile distributed real-time database system (MDRDTBS). We propose the idea of tra...