1011 search results - page 85 / 203 » Numerical Constraints for XML |
164
click to vote
FORMATS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we report a new SAT solver for difference logic, a propositional logic enriched with timing constraints. The main novelty of our solver is a tighter integra...
152
click to vote
MOC
1998
15 years 6 months ago
1998
Integer lattices have numerous important applications, but some of them may have been overlooked because of the common assumption that a lattice basis is part of the problem instan...
151
click to vote
CP
2007
Springer
16 years 17 days ago
2007
Springer
Shaving and constructive disjunction are two main refutation principles used in constraint programming. The shaving principle allows us to compute the singleton arc-consistency (SA...
180
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
Availability of a wide variety of Web services over the Internet offers opportunities of providing new value added services built by composing them out of existing ones. Service c...
141
click to vote
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
In this paper, we present a novel PDE based error concealment algorithm. We formulate the error concealment problem as a sequential optimization problem with both smoothing and or...