9219 search results - page 362 / 1844 » Dynamics Modeling and Culling |
166
click to vote
ICRA
2005
IEEE
16 years 11 days ago
2005
IEEE
— We report on progress toward a continuous time full 6 DOF translational body state estimator for a hexapod robot executing a jogging gait (with 4 consecutive phases: tripod sta...
147
click to vote
AOSE
2005
Springer
16 years 10 days ago
2005
Springer
This paper presents an innovative multi-agent system development approach called mission-based on-demand agent generation. This approach allows agents to be dynamically composed at...
188
click to vote
CONCUR
2005
Springer
16 years 9 days ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
176
click to vote
FM
2005
Springer
16 years 9 days ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
189
click to vote
TACAS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...