1755 search results - page 79 / 351 » An efficient simulation algorithm based on abstract interpre... |
136
click to vote
ROBOCUP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Developing and testing the key modules of autonomous humanoid soccer robots (e.g., for vision, localization, and behavior control) in software-in-the-loop (SIL) experimen...
143
click to vote
RSP
1999
IEEE
15 years 7 months ago
1999
IEEE
The advances in the programmable hardware has lead to new architectures where the hardware can be dynamically adapted to the application to gain better performance. There are stil...
152
Voted
KES
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. A mobile robot that interacts with its environment needs a machineunderstandable representation of objects and their usages. We present an ontology of objects, with gener...
114
click to vote
ICRA
2002
IEEE
15 years 7 months ago
2002
IEEE
Abstract—A methodology for estimating the force distribution that occurs along a needle shaft during insertion is described. To validate the approach, an experimental system for ...
128
click to vote
EUROPAR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. A parallel Lattice Boltzmann Method (pLBM), which is based on hierarchical spatial decomposition, is designed to perform large-scale flow simulations. The algorithm uses ...