1264 search results - page 113 / 253 » The framework approach for constraint satisfaction |
175
click to vote
CSMR
2006
IEEE
16 years 13 days ago
2006
IEEE
Software-intensive systems evolve continuously under the pressure of new and changing requirements, generally leading to an increase in overall system complexity. In this respect,...
157
click to vote
CP
2007
Springer
16 years 17 days ago
2007
Springer
It is known that Constraint Satisfaction Problems (CSP) can be converted into Boolean Satisfiability problems (SAT); however how to encode a CSP into a SAT problem such that a SAT...
134
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
The optimization of the epoxy polymerization process involves a number of conflicting objectives and more than twenty decision parameters. In this paper, the problem is treated tr...
143
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We propose here a new approach for video sequence interpretation based on declarative models of activities. The aim of the video sequence interpretation is to recognize i...
159
click to vote
CODES
1998
IEEE
15 years 10 months ago
1998
IEEE
Timing analysis for checking satisfaction of constraints is a crucial problem in real-time system design. In some current approaches, the delay of software modules is precalculate...