Sciweavers

2370 search results - page 190 / 474
» A Structured Set of Higher-Order Problems
Sort
View
127
Voted
IJCAI
2003
15 years 5 months ago
Backdoors To Typical Case Complexity
There has been significant recent progress in reasoning and constraint processing methods. In areas such as planning and finite model-checking, current solution techniques can h...
Ryan Williams, Carla P. Gomes, Bart Selman
130
Voted
ENDM
2000
174views more  ENDM 2000»
15 years 3 months ago
Hybrid Constraints in Automated Model Synthesis and Model Processing
Both parametric design tasks and analysis tasks of technical systems have a similar problem setting: The structure of the system to be configured or analyzed is defined already. W...
Klaus-Ulrich Leweling, Benno Stein
221
Voted
ICDE
2007
IEEE
163views Database» more  ICDE 2007»
16 years 5 months ago
Adding Context to Preferences
To handle the overwhelming amount of information currently available, personalization systems allow users to specify the information that interests them through preferences. Most ...
Kostas Stefanidis, Evaggelia Pitoura, Panos Vassil...
166
Voted
CVPR
2010
IEEE
15 years 10 months ago
Motion Estimation with Non-Local Total Variation Regularization
State-of-the-art motion estimation algorithms suffer from three major problems: Poorly textured regions, occlusions and small scale image structures. Based on the Gestalt principle...
Manuel Werlberger, Thomas Pock, Horst Bischof
PKDD
2007
Springer
107views Data Mining» more  PKDD 2007»
15 years 9 months ago
An Empirical Comparison of Exact Nearest Neighbour Algorithms
Nearest neighbour search (NNS) is an old problem that is of practical importance in a number of fields. It involves finding, for a given point q, called the query, one or more po...
Ashraf M. Kibriya, Eibe Frank