Sciweavers

372 search results - page 51 / 75
» The box mover problem
Sort
View
ECAI
2006
Springer
13 years 11 months ago
A Solver for QBFs in Nonprenex Form
Various problems in AI can be solved by translating them into a quantified boolean formula (QBF) and evaluating the resulting encoding. In this approach, a QBF solver is used as a ...
Uwe Egly, Martina Seidl, Stefan Woltran
COMPGEOM
2001
ACM
13 years 11 months ago
Computing a 3-dimensional cell in an arrangement of quadrics: exactly and actually!
We present two approaches to the problem of calculating a cell in a 3-dimensional arrangement of quadrics. The first approach solves the problem using rational arithmetic. It work...
Nicola Geismann, Michael Hemmer, Elmar Schöme...
NIPS
2008
13 years 8 months ago
Cascaded Classification Models: Combining Models for Holistic Scene Understanding
One of the original goals of computer vision was to fully understand a natural scene. This requires solving several sub-problems simultaneously, including object detection, region...
Geremy Heitz, Stephen Gould, Ashutosh Saxena, Daph...
ECSCW
2001
13 years 8 months ago
Reducing interference in single display groupware through transparency
Single Display Groupware (SDG) supports face-to-face collaborators working over a single shared display, where all people have their own input device Although SDG is simple in conc...
Ana Zanella, Saul Greenberg
MVA
1996
109views Computer Vision» more  MVA 1996»
13 years 8 months ago
Image Features Based on a Mixed Fractal Model and Evaluation of Their Effectiveness in Image Retrieval
Many research works on content-based image retrieval have made use of image features. On the other hand, many kinds of image features have also been developed in the research fiel...
Toshinori Hayashi, Yuzuru Tanaka