Sciweavers

5086 search results - page 420 / 1018
» The Power of Comparative Reasoning
Sort
View
175
Voted
ECCV
2008
Springer
16 years 8 months ago
Photo and Video Quality Evaluation: Focusing on the Subject
Abstract. Traditionally, distinguishing between high quality professional photos and low quality amateurish photos is a human task. To automatically assess the quality of a photo t...
Yiwen Luo, Xiaoou Tang
ICML
2000
IEEE
16 years 7 months ago
A Nonparametric Approach to Noisy and Costly Optimization
This paper describes Pairwise Bisection: a nonparametric approach to optimizing a noisy function with few function evaluations. The algorithm uses nonparametric reasoning about si...
Brigham S. Anderson, Andrew W. Moore, David Cohn
CADE
2009
Springer
16 years 7 months ago
Real World Verification
Scalable handling of real arithmetic is a crucial part of the verification of hybrid systems, mathematical algorithms, and mixed analog/digital circuits. Despite substantial advanc...
André Platzer, Jan-David Quesel, Philipp R&...
CADE
2006
Springer
16 years 7 months ago
Stratified Context Unification Is NP-Complete
Context Unification is the problem to decide for a given set of second-order equations E where all second-order variables are unary, whether there exists a unifier, such that for e...
Jordi Levy, Manfred Schmidt-Schauß, Mateu Vi...
SDM
2009
SIAM
126views Data Mining» more  SDM 2009»
16 years 4 months ago
An Entity Based Model for Coreference Resolution.
Recently, many advanced machine learning approaches have been proposed for coreference resolution; however, all of the discriminatively-trained models reason over mentions rather ...
Michael L. Wick, Aron Culotta, Khashayar Rohaniman...