Sciweavers

312 search results - page 52 / 63
» Problem Structure in the Presence of Perturbations
Sort
View
AIIA
2007
Springer
14 years 11 months ago
Similarity-Guided Clause Generalization
Few works are available in the literature to define similarity criteria between First-Order Logic formulæ, where the presence of relations causes various portions of one descript...
Stefano Ferilli, Teresa Maria Altomare Basile, Nic...
LFP
1994
129views more  LFP 1994»
14 years 11 months ago
Static Dependent Costs for Estimating Execution Time
We present the rst system for estimating and using datadependent expression execution times in a language with rst-class procedures and imperative constructs. The presence of rst-...
Brian Reistad, David K. Gifford
IVC
2007
266views more  IVC 2007»
14 years 9 months ago
Face detection and facial feature localization without considering the appearance of image context
Face and facial feature detection plays an important role in various applications such as human computer interaction, video surveillance, face tracking, and face recognition. Effi...
Suphakant Phimoltares, Chidchanok Lursinsap, Kosin...
TMI
2010
148views more  TMI 2010»
14 years 8 months ago
General Retinal Vessel Segmentation Using Regularization-Based Multiconcavity Modeling
—Detecting blood vessels in retinal images with the presence of bright and dark lesions is a challenging unsolved problem. In this paper, a novel multiconcavity modeling approach...
Benson S. Y. Lam, Yongsheng Gao, Alan Wee-Chung Li...
ECCV
2002
Springer
15 years 11 months ago
An Affine Invariant Interest Point Detector
This paper presents a novel approach for detecting affine invariant interest points. Our method can deal with significant affine transformations including large scale changes. Such...
Krystian Mikolajczyk, Cordelia Schmid