4520 search results - page 252 / 904 » Algebraic Techniques for Timed Systems |
155
click to vote
DAIS
2007
15 years 8 months ago
2007
Abstract. Replication systems require a state-transfer mechanism in order to recover crashed replicas and to integrate new ones into replication groups. This paper presents and eva...
171
click to vote
FATES
2004
Springer
16 years 19 days ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
202
click to vote
HAPTICS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper focuses on developing a haptic rendering technique for cellular manipulation using image processing techniques and physically based models. The interaction forces betwee...
215
click to vote
CVPR
2005
IEEE
16 years 9 months ago
2005
IEEE
In earlier work, we proposed treating wide baseline matching of feature points as a classification problem, in which each class corresponds to the set of all possible views of suc...
184
click to vote
ICCV
2001
IEEE
16 years 9 months ago
2001
IEEE
We present a novel approach to real-time structured light range scanning. After an analysis of the underlying assumptions of existing structured light techniques, we derive a new ...