Sciweavers

2210 search results - page 157 / 442
» CLEF 2001 - Overview of Results
Sort
View
TC
2010
15 years 4 months ago
Formal Reliability Analysis Using Theorem Proving
—Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety ...
Osman Hasan, Sofiène Tahar, Naeem Abbasi
CVPR
2001
IEEE
16 years 8 months ago
Matching of Double-Sided Document Images to Remove Interference
The National Archives of Singapore keeps a large volume of historical handwritten documents. One common problem with the archives is that over the years, ink sipped through the pa...
Qian Wang, Chew Lim Tan
ICCV
2001
IEEE
16 years 8 months ago
Real-Time Tracking of Highly Articulated Structures in the Presence of Noisy Measurements
This paper presents a novel approach for model-based realtime tracking of highly articulated structures such as humans. This approach is based on an algorithm which efficiently pr...
Tom Drummond, Roberto Cipolla
ICCV
2001
IEEE
16 years 8 months ago
Computing Visual Correspondence with Occlusions via Graph Cuts
Several new algorithms for visual correspondence based on graph cuts [6, 13, 16] have recently been developed. While these methods give very strong results in practice, they do no...
Vladimir Kolmogorov, Ramin Zabih
185
Voted
ICCV
2001
IEEE
16 years 8 months ago
Car Detection in Low Resolution Aerial Image
In this paper, we present a system to detect passenger cars in aerial images where car appears small. We post the detection as a 3D object recognition problem to account for the v...
Tao Zhao, Ramakant Nevatia