Sciweavers

5634 search results - page 15 / 1127
» About Abstract Classes
Sort
View
94
Voted
ICCV
2011
IEEE
13 years 10 months ago
The Truth about Cats and Dogs
Template-based object detectors such as the deformable parts model of Felzenszwalb et al. [11] achieve state-ofthe-art performance for a variety of object categories, but are stil...
Omkar M Parkhi, Andrea Vedaldi, C. V. Jawahar, And...
DGCI
2008
Springer
15 years 6 days ago
About the Frequencies of Some Patterns in Digital Planes Application to Area Estimators
In this paper we prove that the function giving the frequency of a class of patterns of digital planes with respect to the slopes of the plane is continuous and piecewise affine, m...
Alain Daurat, Mohamed Tajine, Mahdi Zouaoui
CADE
2005
Springer
15 years 10 months ago
The OWL Instance Store: System Description
Abstract. We describe the instance store, a system for reasoning about individuals (i.e., instances of classes) in OWL ontologies. By using a hybrid reasoner/database architecture,...
Sean Bechhofer, Ian Horrocks, Daniele Turi
COMMA
2010
14 years 5 months ago
Reasoning about Preferences in Structured Extended Argumentation Frameworks
Abstract. This paper combines two recent extensions of Dung's abstract argumenrameworks in order to define an abstract formalism for reasoning about preferences in structured ...
Sanjay Modgil, Henry Prakken
LPAR
2004
Springer
15 years 3 months ago
Abstract DPLL and Abstract DPLL Modulo Theories
DPLL and DPLL Modulo Theories Robert Nieuwenhuis , Albert Oliveras , and Cesare Tinelli We introduce Abstract DPLL, a general and simple abstract rule-based formulation of the Davi...
Robert Nieuwenhuis, Albert Oliveras, Cesare Tinell...