2032 search results - page 28 / 407 » Encodings of the Sequence Constraint |
130
click to vote
IJCV
1998
14 years 11 months ago
1998
We describe a new method for computing the displacement vector field in time sequences of 2D or 3D images (4D data). The method is energy-minimizing on the space of correspondence...
PPDP
2009
Springer
15 years 6 months ago
2009
Springer
This paper describes the encoding of a telecommunications feature subscription configuration problem to propositional logic and its solution using a state-of-the-art Boolean sati...
103
click to vote
ASP
2001
Springer
15 years 3 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...
ICEIS
2002
IEEE
15 years 4 months ago
2002
IEEE
AI
2001
Springer
15 years 4 months ago
2001
Springer