Sciweavers

505 search results - page 25 / 101
» Universal Constructions for Large Objects
Sort
View
145
Voted
ECCV
2010
Springer
15 years 7 months ago
Affine Puzzle: Realigning Deformed Object Fragments without Correspondences
This paper is addressing the problem of realigning broken objects without correspondences. We consider linear transformations between the object fragments and present the method ...
Csaba Domokos and Zoltan Kato
ICIP
2010
IEEE
14 years 12 months ago
Fast object detection using boosted co-occurrence histograms of oriented gradients
Co-occurrence histograms of oriented gradients (CoHOG) are powerful descriptors in object detection. In this paper, we propose to utilize a very large pool of CoHOG features with ...
Haoyu Ren, Cher-Keng Heng, Wei Zheng, Luhong Liang...
BMVC
1996
15 years 3 months ago
Spatial-Temporal Reasoning Based on Object Motion
This paper describes the continuing development of a system for tracking multiple man made objects, (typically vehicles) moving in a natural open world scene, where the detected m...
M. K. Teal, Tim J. Ellis
WDAG
1998
Springer
87views Algorithms» more  WDAG 1998»
15 years 6 months ago
Wait-Free Synchronization in Quantum-Based Multiprogrammed Systems
d Abstract) James H. Anderson, Rohit Jain, and David Ott Department of Computer Science University of North Carolina at Chapel Hill We consider wait-free synchronization in multipr...
James H. Anderson, Rohit Jain, David Ott
117
Voted
JAR
2008
95views more  JAR 2008»
15 years 1 months ago
On the Mechanization of the Proof of Hessenberg's Theorem in Coherent Logic
Abstract. We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential qu...
Marc Bezem, Dimitri Hendriks