805 search results - page 65 / 161 » Enumerating All Solutions for Constraint Satisfaction Proble... |
176
click to vote
ASIAN
2009
Springer
15 years 5 months ago
2009
Springer
In their work on tractable deduction systems, D. McAllester and later D. Basin and H. Ganzinger have identified a property of inference systems (the locality property) that ensures...
139
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
We present a new polynomial-space algorithm, called Adopt, for distributed constraint optimization (DCOP). DCOP is able to model a large class of collaboration problems in multi-a...
133
click to vote
CONSTRAINTS
2002
15 years 4 months ago
2002
In this paper, we report the design and implementation of a constraint-based interactive train rescheduling tool, a project in collaboration with the International Institute for So...
135
click to vote
HICSS
1994
IEEE
15 years 8 months ago
1994
IEEE
We are developing a new problem-solving methodology based on a self-organization paradigm. To realize our future goal of self-organizing computational systems, we have to study co...
168
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
Abstract. "Cognitive computer vision is concerned with integration and control of vision systems using explicit but not necessarily symbolic models of context, situation and g...