5015 search results - page 419 / 1003 » Model Checking a Path |
219
click to vote
JMM2
2006
15 years 6 months ago
2006
This paper presents an efficient, robust and fully automatic real-time system for 3D object pose tracking in image sequences. The developed application integrates two main componen...
163
click to vote
FMSD
1998
15 years 6 months ago
1998
Proving the equivalenceof two Finite State Machines (FSMs) has many applications to synthesis, veri cation, testing, and diagnosis. Building their product machine is a theoretical ...
171
Voted
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— Legged robots require accurate models of their environment in order to plan and execute paths. We present a probabilistic technique based on Gaussian processes that allows terr...
186
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Recent findings suggest to split the impulse response of the radio channel into discrete paths and the “diffuse multipath” (DMP). This diffuse part can be describe...
187
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...