4485 search results - page 229 / 897 » Equivalences on Observable Processes |
132
click to vote
SEFM
2008
IEEE
15 years 10 months ago
2008
IEEE
The only practical way to test distributed messagepassing systems is to use local testing. In this approach, used in formalisms such as concurrent TTCN-3, some components are repl...
121
Voted
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
—Vision-aided inertial navigation systems (V-INSs) can provide precise state estimates for the 3-D motion of a vehicle when no external references (e.g., GPS) are available. This...
151
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
In many applications decisions must be made about the state of an object based on indirect noisy observation of highdimensional data. An example is the determination of the presen...
129
click to vote
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
On open and controversial issue in empirical data analysis is to decide whether scaling and multifractal properties observed in empirical data actually exist, or whether they are ...
120
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents a novel approach to the multi-vehicle Simultaneous Localisation and Mapping (SLAM) problem that exploits the manner in which observations are fused into the gl...