27913 search results - page 361 / 5583 » Simulation |
174
click to vote
ROBOCUP
2004
Springer
16 years 3 days ago
2004
Springer
UCHILSIM is a robotic simulator specially developed for the RoboCup four-legged league. It reproduces with high accuracy the dynamics of AIBO motions and its interactions with the ...
243
click to vote
SEM
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Current research in peer to peer systems is lacking appropriate environments for simulation and experimentation of large scale overlay services. This has led to a plethor...
194
click to vote
IPPS
2003
IEEE
16 years 1 days ago
2003
IEEE
To understand the performance of modern Java systems one must observe execution in the context of specific architectures. It is also important that we make these observations usi...
177
click to vote
ATAL
2003
Springer
16 years 4 hour ago
2003
Springer
Making it easier to design interactions between agents and humans is essential for realizing multi-agent simulations of social phenomena such as group dynamics. To realize large-s...
154
click to vote
CAV
2003
Springer
16 years 2 hour ago
2003
Springer
The paper considers the problem of checking abstraction between two finite-state fair discrete systems (FDS). In automata-theoretic terms this is trace inclusion between two nond...