111 search results - page 3 / 23 » The eskolemization of universal quantifiers |
SAS
2009
Springer
14 years 6 months ago
2009
Springer
ion Refinement for Quantified Array Assertions Mohamed Nassim Seghir1, , Andreas Podelski1 , and Thomas Wies1,2 1 University of Freiburg, Germany 2 EPFL, Switzerland Abstract. We p...
JCDL
2006
ACM
14 years 4 hour ago
2006
ACM
The Perseus Project at Tufts University produces tools to enhance the study of humanities texts. Perseus’ new named-entity browser lets users browse an index of references to pe...
SIGMOD
2006
ACM
14 years 6 months ago
2006
ACM
Although it has been acknowledged for many years that querying and updating time-varying information using standard (i.e., non-temporal) SQL is a challenging task, the proposed te...
ATAL
2010
Springer
13 years 7 months ago
2010
Springer
In this paper, we propose a Quantified Distributed Constraint Optimization problem (QDCOP) that extends the framework of Distributed Constraint Optimization problems (DCOPs). DCOP...
ACNS
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. Membership queries are basic predicate operations that apply to datasets. Quantifications of such queries express global properties between datasets, including subset inc...