2470 search results - page 9 / 494 » Liveness-Preserving Simulation Relations |
AAAI
2006
13 years 9 months ago
2006
We present a cognitive model that bridges work in analogy and category learning. The model, Building Relations through Instance Driven Gradient Error Shifting (BRIDGES), extends A...
TROB
2008
13 years 7 months ago
2008
In this paper, we address the problem of determining the 2D relative pose of pairs of communicating robots from (i) robot-to-robot distance measurements and (ii) displacement estim...
DCOSS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We consider the problem of estimating vector-valued variables from noisy "relative" measurements. The measurement model can be expressed in terms of a graph, wh...
ENTCS
2007
13 years 7 months ago
2007
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
CSDA
2004
13 years 7 months ago
2004
In geographical epidemiology it is often required to produce a map of the risk of disease over a study region, a disease map. This paper reviews a variety of approaches to produce...