Sciweavers

7167 search results - page 414 / 1434
» Answer Set Programming
Sort
View
154
Voted
CVPR
2012
IEEE
13 years 6 months ago
A grammar for hierarchical object descriptions in logic programs
Modeling objects using formal grammars has recently regained much attention in computer vision. Probabilistic logic programming, such as Bilattice based Logical Reasoning (BLR), i...
Toufiq Parag, Claus Bahlmann, Vinay D. Shet, Manee...
142
Voted
SIGMOD
2004
ACM
241views Database» more  SIGMOD 2004»
16 years 3 months ago
SINA: Scalable Incremental Processing of Continuous Queries in Spatio-temporal Databases
This paper introduces the Scalable INcremental hash-based Algorithm (SINA, for short); a new algorithm for evaluating a set of concurrent continuous spatio-temporal queries. SINA ...
Mohamed F. Mokbel, Xiaopeng Xiong, Walid G. Aref
97
Voted
ARSCOM
2005
64views more  ARSCOM 2005»
15 years 3 months ago
Hamilton Paths in Certain Arithmetic Graphs
For each integer m 1, consider the graph Gm whose vertex set is the set N = {0, 1, 2, . . . } of natural numbers and whose edges are the pairs xy with y = x + m or y = x - m or y...
Paul A. Russell
145
Voted
PVLDB
2010
151views more  PVLDB 2010»
15 years 2 months ago
Advanced Processing for Ontological Queries
Ontology-based data access is a powerful form of extending database technology, where a classical extensional database (EDB) is enhanced by an ontology that generates new intensio...
Andrea Calì, Georg Gottlob, Andreas Pieris
127
Voted
CVPR
2008
IEEE
16 years 5 months ago
Globally optimal bilinear programming for computer vision applications
We present a practical algorithm that provably achieves the global optimum for a class of bilinear programs commonly arising in computer vision applications. Our approach relies o...
Manmohan Krishna Chandraker, David J. Kriegman