Sciweavers

4949 search results - page 95 / 990
» Consistency and Set Intersection
Sort
View
CVPR
2004
IEEE
16 years 6 months ago
Space-Time Isosurface Evolution for Temporally Coherent 3D Reconstruction
We model the dynamic geometry of a time-varying scene as a 3D isosurface in space-time. The intersection of the isosurface with planes of constant time yields the geometry at a si...
Bastian Goldlücke, Marcus A. Magnor
SEBD
2008
159views Database» more  SEBD 2008»
15 years 5 months ago
Profiling Sets for Preference Querying
We propose a logical framework for set preferences. Candidate sets are represented using profiles consisting of scalar features. This reduces set preferences to tuple preferences o...
Xi Zhang, Jan Chomicki
APAL
2007
83views more  APAL 2007»
15 years 4 months ago
On Feferman's operational set theory OST
We study OST and some of its most important extensions primarily from a proof-theoretic perspective, determine their consistency strengths by exhibiting equivalent systems in the ...
Gerhard Jäger
CORR
2010
Springer
134views Education» more  CORR 2010»
15 years 3 months ago
A Translational Approach to Constraint Answer Set Solving
We present a new approach to enhancing Answer Set Programming (ASP) with Constraint Processing techniques which allows for solving interesting Constraint Satisfaction Problems in ...
Christian Drescher, Toby Walsh
ESA
2008
Springer
96views Algorithms» more  ESA 2008»
15 years 6 months ago
Stabbing Convex Polygons with a Segment or a Polygon
Let O = {O1, . . . , Om} be a set of m convex polygons in R2 with a total of n vertices, and let B be another convex k-gon. A placement of B, any congruent copy of B (without refle...
Pankaj K. Agarwal, Danny Z. Chen, Shashidhara K. G...