27913 search results - page 361 / 5583 » Simulation |
124
Voted
ROBOCUP
2004
Springer
15 years 8 months 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 ...
183
Voted
SEM
2004
Springer
15 years 8 months 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...
138
Voted
IPPS
2003
IEEE
15 years 8 months 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...
113
Voted
ATAL
2003
Springer
15 years 8 months 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...
106
Voted
CAV
2003
Springer
15 years 8 months 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...