Sciweavers

566 search results - page 54 / 114
» Solution Reuse in Dynamic Constraint Satisfaction Problems
Sort
View
SAC
2005
ACM
15 years 6 months ago
Limited assignments: a new cutoff strategy for incomplete depth-first search
In this paper, we propose an extension of three incomplete depthfirst search techniques, namely depth-bounded backtrack search, credit search, and iterative broadening, towards pr...
Roman Barták, Hana Rudová
100
Voted
MODELS
2010
Springer
14 years 11 months ago
A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models
In feature models’ construction, one basic task is to ensure the consistency of feature models, which often involves detecting and fixing of inconsistencies in feature models. S...
Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao,...
128
Voted
AAAI
2000
15 years 1 months ago
DATALOG with Constraints - An Answer-Set Programming System
Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional ...
Deborah East, Miroslaw Truszczynski
CORR
2008
Springer
86views Education» more  CORR 2008»
15 years 17 days ago
Dynamic System Adaptation by Constraint Orchestration
Abstract. For Paradigm models, evolution is just-in-time specified coordination conducted by a special reusable component McPal. Evolution can be treated consistently and on-the-fl...
Luuk Groenewegen, Erik P. de Vink
98
Voted
IROS
2007
IEEE
123views Robotics» more  IROS 2007»
15 years 6 months ago
Learning humanoid reaching tasks in dynamic environments
— A central challenging problem in humanoid robotics is to plan and execute dynamic tasks in dynamic environments. Given that the environment is known, sampling-based online moti...
Xiaoxi Jiang, Marcelo Kallmann