1088 search results - page 32 / 218 » Independence of Negative Constraints |
113
Voted
CSCLP
2005
Springer
15 years 6 months ago
2005
Springer
We give an efficiently executable specification of the global constraint of lexicographic order in the Constraint Handling Rules (CHR) language. In contrast to previous approaches...
102
Voted
CORR
2007
Springer
15 years 19 days ago
2007
Springer
Abstract. We describe decomposition during search (DDS), an integration of And/Or tree search into propagation-based constraint solvers. The presented search algorithm dynamically ...
ECBS
2005
IEEE
15 years 2 months ago
2005
IEEE
Monitoring critical events such as constraints violations is one of the key issues of Autonomic Systems. This paper presents an interceptor based approach of constraint violation ...
106
Voted
CAD
1998
Springer
15 years 11 days ago
1998
Springer
Abstract. This paper reports a geometric constraint solving approach based on symbolic computation. With this approach, we can compute robust numerical solutions for a set of equat...
79
Voted
ISBI
2004
IEEE
16 years 1 months ago
2004
IEEE
Statistical reconstruction algorithms in transmission tomography yield improved images relative to the conventional FBP method. The most popular iterative algorithms for this prob...