2470 search results - page 164 / 494 » Liveness-Preserving Simulation Relations |
104
Voted
AROBOTS
2004
2004
Propagation of Uncertainty in Cooperative Multirobot Localization: Analysis and Experimental Results
15 years 21 days ago
This paper examines the problem of cooperative localization for the case of large groups of mobile robots. A Kalman filter estimator is implemented and tested for this purpose. The...
94
Voted
AAI
2000
15 years 20 days ago
2000
: As Virtual Environments applications become more complex, there is a need to interpret user interaction in terms of high-level concepts. In this paper, we investigate the relatio...
122
Voted
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
We investigate the complexity of preorder checking when the specification is a flat finite-state system whereas the implementation is either a non-flat finite-state system or a st...
131
Voted
WD
2010
14 years 10 months ago
2010
The use of topological features, more specifically, the importance of an element related to its structural position is a subject widely studied. For instance, complex networks theo...
108
click to vote
EUROPAR
2009
Springer
14 years 10 months ago
2009
Springer
Profiling tools relate measurements to code context such as function names in order to guide code optimization. For a more detailed analysis, call path or phase-based profiling enh...