2657 search results - page 203 / 532 » On the complexity of hierarchical problem solving |
110
Voted
IJCAI
2007
15 years 3 months ago
2007
Enforcing arc consistency (AC) during search has proven to be a very effective method in solving Constraint Satisfaction Problems and it has been widely-used in many Constraint Pr...
107
Voted
ICRA
2009
IEEE
15 years 8 months ago
2009
IEEE
— This article addresses the fast solution of a Quadratic Program underlying a Linear Model Predictive Control scheme that generates walking motions. We introduce an algorithm wh...
OOIS
2001
Springer
15 years 6 months ago
2001
Springer
Identifying the objects that constitute a software system is a critical task for any object-oriented system development and several techniques have already been introduced to tack...
105
click to vote
ASPDAC
2004
ACM
15 years 5 months ago
2004
ACM
When time is incorporated in the specification of discrete systems, the complexity of verification grows exponentially. When the temporal behavior is specified with symbols, the ve...
134
Voted
APNOMS
2006
Springer
15 years 5 months ago
2006
Springer
Distributed computing systems are continuously increasing in complexity and cost of managing, and system management tasks require significantly higher levels of autonomic managemen...