5084 search results - page 114 / 1017 » Proving Possibility Properties |
165
click to vote
ANOR
2005
15 years 5 months ago
2005
Abstract. This is an overview of the significance and main uses of projection, lifting and extended formulation in integer and combinatorial optimization. Its first two sections de...
150
click to vote
JNS
2010
15 years 8 days ago
2010
We consider statistical mechanics systems defined on a set with some symmetry properties (namely, the set admits an action by a group, which is finitely generated and residually fi...
119
click to vote
ENTCS
2007
15 years 5 months ago
2007
We study, from the expressiveness point of view, the impact of synchrony in the communication primitives that arise when combining together some common and useful programming feat...
150
click to vote
CADE
2003
Springer
16 years 5 months ago
2003
Springer
If there exist efficient procedures (canonizers) for reducing terms of two first-order theories to canonical form, can one use them to construct such a procedure for terms of the d...
148
click to vote
PODS
1999
ACM
15 years 9 months ago
1999
ACM
In this paper we consider the problem of the logical characterization of the notion of consistent answer in a relational database that may violate given integrity constraints. Thi...