2845 search results - page 239 / 569 » Constraints over Ontologies |
257
Voted
ICDE
2009
IEEE
16 years 7 months ago
2009
IEEE
Many location-based services require rich and expressive query language support for filtering large amounts of information. In prominent location-based services thousands of conti...
176
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
140
click to vote
SAC
2010
ACM
16 years 28 days ago
2010
ACM
We consider the design of parametric curves from geometric constraints such as distance from lines or points and tangency to lines or circles. We solve the Hermite problem with su...
137
click to vote
ICC
2009
IEEE
16 years 25 days ago
2009
IEEE
Abstract—In this paper, we propose a simple and efficient twostage list synchronizer for frame synchronization of Low-Density Parity-Check (LDPC) coded data transmitted over the...
159
click to vote
FOCS
2008
IEEE
16 years 16 days ago
2008
IEEE
We show that for k ≥ 3 even the Ω(n) level of the Lasserre hierarchy cannot disprove a random k-CSP instance over any predicate type implied by k-XOR constraints, for example ...