2470 search results - page 123 / 494 » Liveness-Preserving Simulation Relations |
126
Voted
COGSR
2011
14 years 7 months ago
2011
We simulate the evolution of a domain vocabulary in small communities. Empirical data show that human communicators can evolve graphical languages quickly in a constrained task (P...
100
click to vote
FAC
2010
14 years 10 months ago
2010
Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an isolated atomic action as a family of transitions with a common before-state, an...
107
Voted
JUCS
2006
15 years 20 days ago
2006
: Bisimulation can be defined in a simple way using coinductive methods, and has rather pleasant properties. Ready similarity was proposed by Meyer et al. as a way to weakening the...
121
click to vote
DCOSS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We consider the problem of estimating the locations of mobile agents by fusing the measurements of displacements of the agents as well as relative position measurements b...
110
Voted
AAAI
2007
15 years 3 months ago
2007
This paper describes recent results from the robotics community that develop a theory, similar in spirit to the theory of computation, for analyzing sensor-based agent systems. Th...