2864 search results - page 234 / 573 » Constraint Programming in OPL |
123
click to vote
ASP
2001
Springer
15 years 4 months ago
2001
Springer
In this paper we implement planning using answer set programming. We consider the action language A and its extensions. We show that when the domain is described using richer feat...
129
click to vote
KRDB
1996
15 years 2 months ago
1996
Metaprogramming adds new expressive power to logic programming which can be advantageous to transfer to the field of deductive databases. We propose metaprogramming as a way to mo...
ICIP
2003
IEEE
16 years 2 months ago
2003
IEEE
A critical step in defect detection for semiconductorprocess is to align a test image against a reference. This includes both spatial alignment and grayscale alignment. For the la...
138
click to vote
ICIP
2001
IEEE
16 years 2 months ago
2001
IEEE
A common problem in most active contour methods is that the recursive searching scheme can only return a local optimal solution. Furthermore, the internal energy of the snake is n...
103
click to vote
CADE
2001
Springer
16 years 1 months ago
2001
Springer
In this paper, we present a syntax-directed termination and reduction checker for higher-order logic programs. The reduction checker verifies parametric higher-order subterm orderi...