3742 search results - page 322 / 749 » On the Use of Formal Techniques for Validation |
200
click to vote
RTAS
2008
IEEE
16 years 1 months ago
2008
IEEE
Message Sequence Charts (MSCs) are widely used for describing interaction scenarios between the components of a distributed system. Consequently, worst-case response time estimati...
146
click to vote
MICCAI
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We show that a simple probabilistic modelling of the registration problem for surfaces allows to solve it by using standard clustering techniques. In this framework, poin...
128
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
We present a novel multi-scale bone enhancement measure that can be used to drive a geometric flow to segment bone structures. This measure has the essential properties to be incor...
214
click to vote
ICRA
2005
IEEE
16 years 9 days ago
2005
IEEE
− This paper addresses the combined problem of trajectory planning and tracking control for underactuated AUVs moving on the horizontal plane. A reference feasible trajectory for...
162
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
We propose a generalized forward recovery checkpointing scheme, with lookahead execution and rollback validation. This method takes advantage of voting and comparison on multiple v...