Sciweavers

68 search results - page 8 / 14
» Grounding with Bounds
Sort
View
LICS
1997
IEEE
15 years 1 months ago
The Complexity of Subtype Entailment for Simple Types
A subtyping 0 is entailed by a set of subtyping constraints C, written C j= 0, if every valuation (mapping of type variables to ground types) that satisfies C also satisfies 0. ...
Fritz Henglein, Jakob Rehof
ESA
2006
Springer
134views Algorithms» more  ESA 2006»
15 years 1 months ago
A Unified Approach to Approximating Partial Covering Problems
An instance of the generalized partial cover problem consists of a ground set U and a family of subsets S 2U . Each element e U is associated with a profit p(e), whereas each su...
Jochen Könemann, Ojas Parekh, Danny Segev
78
Voted
MICCAI
2003
Springer
15 years 10 months ago
An Automatic System for Classification of Nuclear Sclerosis from Slit-Lamp Photographs
A robust and automatic system has been developed to detect the visual axis and extract important feature landmarks from slit-lamp photographs, and objectively grade the severity of...
Shaohua Fan, Charles R. Dyer, Larry Hubbard, Barba...
71
Voted
ACCV
2006
Springer
15 years 3 months ago
Performance Evaluation of Object Detection and Tracking in Video
The need for empirical evaluation metrics and algorithms is well acknowledged in the field of computer vision. The process leads to precise insights to understanding current techn...
Vasant Manohar, Padmanabhan Soundararajan, Harish ...
WEBDB
2010
Springer
172views Database» more  WEBDB 2010»
15 years 2 months ago
Find your Advisor: Robust Knowledge Gathering from the Web
We present a robust method for gathering relational facts from the Web, based on matching generalized patterns which are automatically learned from seed facts for relations of int...
Ndapandula Nakashole, Martin Theobald, Gerhard Wei...