Sciweavers

8413 search results - page 343 / 1683
» Ordering Problem Subgoals
Sort
View
AMAI
2005
Springer
15 years 6 months ago
A SAT approach to query optimization in mediator systems
Mediator systems integrate distributed, heterogeneous and autonomous data sources, but their e ective use requires the solution of hard query optimization problems. This is usuall...
Steven David Prestwich, Stéphane Bressan
CORR
1998
Springer
135views Education» more  CORR 1998»
15 years 6 months ago
The Computational Complexity of Probabilistic Planning
We examine the computational complexity of testing and nding small plans in probabilistic planning domains with both at and propositional representations. The complexity of plan e...
Michael L. Littman, Judy Goldsmith, Martin Mundhen...
CORR
2007
Springer
104views Education» more  CORR 2007»
15 years 6 months ago
Sorting and Selection in Posets
Classical problems of sorting and searching assume an underlying linear ordering of the objects being compared. In this paper, we study a more general setting, in which some pairs...
Constantinos Daskalakis, Richard M. Karp, Elchanan...
SPATIALCOGNITION
1998
Springer
15 years 10 months ago
Mental Models in Spatial Reasoning
This chapter gives an overview of our ongoing experimental research in the MeMoSpace project, concerning the cognitive processes underlying human spatial reasoning. Our theoretical...
Markus Knauff, Reinhold Rauh, Christoph Schlieder,...
ICCV
2009
IEEE
16 years 11 months ago
Convex Optimization for Multi-Class Image Labeling with a Novel Family of Total Variation Based Regularizers
We introduce a linearly weighted variant of the total variation for vector fields in order to formulate regularizers for multi-class labeling problems with non-trivial interclass...
J. Lellmann, F. Becker, C. Schn¨orr