2470 search results - page 230 / 494 » Liveness-Preserving Simulation Relations |
170
click to vote
PERVASIVE
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we introduce a new distributed algorithm for location discovery. It can be used in wireless ad-hoc sensor networks that are equipped with means of measuring the dista...
161
click to vote
SGAI
2004
Springer
15 years 11 months ago
2004
Springer
Some types of animals exploit the external environment to support their cognitive processes, in the sense of patterns created in the environment that function as external mental s...
142
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we introduce a new hexapedal locomotion controller that simulation evidence suggests will be capable of driving our RHex robot at speeds exceeding five body length...
147
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
Real-world objects exhibit rich physical interaction behaviours on contact. Such behaviours depend on how heavy and hard it is when held, how its surface feels when touched, how i...
163
click to vote
VL
2003
IEEE
15 years 11 months ago
2003
IEEE
The paper outlines a tool-supported approach to the design of Web applications. Behavioural models are augmented with web-based simulations of user interfaces to permit validation...