1264 search results - page 49 / 253 » The framework approach for constraint satisfaction |
146
click to vote
LPNMR
2009
Springer
16 years 20 days ago
2009
Springer
We develop a module-based framework for constraint modeling where it is possible to combine different constraint modeling languages and exploit their strengths in a flexible way. ...
166
Voted
CP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
157
Voted
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
Convex relaxation techniques have become a popular approach to image segmentation as they allow to compute solutions independent of initialization to a variety of image segmentati...
194
Voted
SEDE
2007
2007
A framework for constraint checking involving aggregates for multiple XML databases using schematron
15 years 7 months ago
Many internet and enterprise applications now not only use XML (eXtensible Markup Language) as a medium for communication but also for storing their data either temporarily for an...
170
click to vote
KBSE
2007
IEEE
16 years 12 days ago
2007
IEEE
Monitoring the satisfaction of software requirements and diagnosing what went wrong in case of failure is a hard problem that has received little attention in the Software and Req...