3742 search results - page 401 / 749 » On the Use of Formal Techniques for Validation |
215
click to vote
PSTV
1992
15 years 8 months ago
1992
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...
219
click to vote
AMT
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In this paper, we propose a framework to improve the relevance of awareness information about people and subjects, by adapting recommendation techniques to real-time web ...
185
click to vote
AMC
2006
15 years 6 months ago
2006
Derived from the Markov character only, the master equation of chemical reactions is an accurate stochastic description of quite general systems in chemistry. Exact solutions of t...
168
click to vote
JIRS
2006
15 years 6 months ago
2006
Abstract. Autonomous mobile robot navigation systems are based on three principal kinds of techniques: map-based navigation, map-building-based navigation and mapless navigation. W...
198
click to vote
AR
2005
15 years 6 months ago
2005
This paper proposes a real-time, robust and efficient three-dimensional (3D) model-based tracking algorithm. A virtual visual servoing approach is used for monocular 3D tracking. T...