9219 search results - page 73 / 1844 » Dynamics Modeling and Culling |
103
click to vote
ICONS
2008
IEEE
15 years 8 months ago
2008
IEEE
— Nonholonomic mobile robots are characterized by no-slip constraints. However, in many practical situations, slips are inevitable. In this work, we develop a theoretical and sys...
103
click to vote
FDL
2004
IEEE
15 years 5 months ago
2004
IEEE
The article describes semi-symbolic methods for the analysis of control and signal processing systems, including static and dynamic uncertainties. This above mentioned semi-symbol...
108
click to vote
ICSR
2004
Springer
15 years 6 months ago
2004
Springer
Non-stop and highly available applications need to be dynamically adapted to new conditions in their execution environment, to new user requirements or to some situations usually u...
ECAI
2000
Springer
15 years 5 months ago
2000
Springer
Dynamic planning concerns the planning and execution of actions in a dynamic, real world environment. Its goal is to take into account changes generated by unpredicted events occur...
JAPLL
2006
15 years 1 months ago
2006
This paper presents a model checking algorithm for Propositional Dynamic Logic (PDL) with looping, repeat, test, intersection, converse, program complementation as well as context...