Sciweavers

4163 search results - page 92 / 833
» A comprehensive combination framework
Sort
View
ICFP
2005
ACM
14 years 8 months ago
Combining programming with theorem proving
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...
Chiyan Chen, Hongwei Xi
AVSS
2009
IEEE
14 years 3 months ago
Combination of Roadside and In-vehicle Sensors for Extensive Visibility Range Monitoring
—Fog is a local meteorological phenomena which drastically reduces the visibility range. Fog detection and visibility range estimation are critical tasks for road operators who n...
Nicolas Hautière, Abderrahmane Boubezoul
ACIVS
2008
Springer
14 years 3 months ago
Geodesic Active Contours with Combined Shape and Appearance Priors
We present a new object segmentation method that is based on geodesic active contours with combined shape and appearance priors. It is known that using shape priors can significan...
Rami Ben-Ari, Dror Aiger
ACCV
2007
Springer
14 years 3 months ago
Object Detection Combining Recognition and Segmentation
Abstract. We develop an object detection method combining top-down recognition with bottom-up image segmentation. There are two main steps in this method: a hypothesis generation s...
Liming Wang, Jianbo Shi, Gang Song, I-fan Shen
CIVR
2007
Springer
173views Image Analysis» more  CIVR 2007»
14 years 3 months ago
Fast and cheap object recognition by linear combination of views
In this paper, we present a real-time algorithm for 3D object detection in images. Our method relies on the Ullman and Basri [13] theory which claims that the same object under di...
Jérome Revaud, Guillaume Lavoué, Yas...