601 search results - page 56 / 121 » CSP(M): Constraint Satisfaction Problem over Models |
134
click to vote
MIA
2011
14 years 8 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...
SAC
2006
ACM
15 years 7 months 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...
98
Voted
CP
1998
Springer
15 years 5 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...
ATAL
2005
Springer
15 years 7 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...
132
click to vote
AAAI
1996
15 years 2 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...