Sciweavers

13987 search results - page 273 / 2798
» The Two Guards Problem
Sort
View
MTA
2006
169views more  MTA 2006»
15 years 4 months ago
MBC-based shape retrieval: basics, optimizations, and open problems
Shape of an object is an important feature for image and multimedia similarity retrievals. In our previous studies we introduced a new boundary-based technique (MBC-based) for shap...
Maytham Safar, Cyrus Shahabi
SYNTHESE
2008
71views more  SYNTHESE 2008»
15 years 4 months ago
Formalizing common sense: an operator-based approach to the Tibbles-Tib problem
The paper argues, that a direct formalization of the way common sense thinks about the numerical identity of enduring entities, requires that traditional predicate logic is develo...
Ingvar Johansson
AI
2004
Springer
15 years 4 months ago
Version spaces and the consistency problem
A version space is a collection of concepts consistent with a given set of positive and negative examples. Mitchell [Mit82] proposed representing a version space by its boundary s...
Haym Hirsh, Nina Mishra, Leonard Pitt
JAR
2000
129views more  JAR 2000»
15 years 4 months ago
Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems
We study the runtime distributions of backtrack procedures for propositional satisfiability and constraint satisfaction. Such procedures often exhibit a large variability in perfor...
Carla P. Gomes, Bart Selman, Nuno Crato, Henry A. ...
ICCV
2007
IEEE
16 years 6 months ago
A Robust Graph-Based Method for The General Correspondence Problem Demonstrated on Image Stitching
We pose robust matching with parametric and non-parametric constraints as the problem of finding a stable independent set (SIS) in an oriented graph whose vertices are all possible...
Martin Bujnak, Radim Sára