601 search results - page 56 / 121 » CSP(M): Constraint Satisfaction Problem over Models |
194
click to vote
MIA
2011
15 years 1 months ago
2011
The automatic segmentation of the prostate and rectum from 3-D computed tomography (CT) images is still a challenging problem, and is critical for image-guided therapy application...
136
click to vote
SAC
2006
ACM
16 years 1 hour ago
2006
ACM
This paper addresses design exploration for protocols that are employed in systems with availability-consistency tradeoffs. Distributed data is modelled as states of objects repl...
145
click to vote
CP
1998
Springer
15 years 10 months ago
1998
Springer
We study how constraint-based static analysis can be applied to the automated and systematic debugging of program errors. Strongly moding and constraint-based mode analysis are tur...
146
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
We introduce the Multiagent Agreement Problem (MAP) to represent a class of multiagent scheduling problems. MAP is based on the Distributed Constraint Reasoning (DCR) paradigm and...
180
click to vote
AAAI
1996
15 years 7 months ago
1996
Most model-based diagnosis systems, such as GDE and Sherlock, have concerned discrete, static systems such as logic circuits and use simple constraint propagation to detect incons...