2996 search results - page 362 / 600 » Dynamic Traveling Repairperson Problem for dynamic systems |
166
click to vote
ICRA
1995
IEEE
15 years 10 months ago
1995
IEEE
An implementation of a biped robot which as capable of dynamic walking by a simple nonlinear control algorithm. is presented. Four D.C. servo motors actuate the knee and ankle joi...
175
click to vote
NSDI
2007
15 years 9 months ago
2007
Debugging and profiling large-scale distributed applications is a daunting task. We present Friday, a system for debugging distributed applications that combines deterministic re...
190
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
When human-multiagent teams act in real-time uncertain domains, adjustable autonomy (dynamic transferring of decisions between human and agents) raises three key challenges. First...
168
click to vote
AI
2006
Springer
15 years 8 months ago
2006
Springer
Assistance to people suffering from cognitive deficiencies in a smart home raises complex issues. Plan recognition is one of them. We propose a formal framework for the recognition...
193
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...