Sciweavers

2853 search results - page 517 / 571
» On Coherence in Computer Algebra
Sort
View
ERSHOV
2009
Springer
14 years 23 days ago
Anti-unification Algorithms and Their Applications in Program Analysis
A term t is called a template of terms t1 and t2 iff t1 = t1 and t2 = t2, for some substitutions 1 and 2. A template t of t1 and t2 is called the most specific iff for any template...
Peter E. Bulychev, Egor V. Kostylev, Vladimir A. Z...
PC
2010
196views Management» more  PC 2010»
13 years 7 months ago
Solving path problems on the GPU
We consider the computation of shortest paths on Graphic Processing Units (GPUs). The blocked recursive elimination strategy we use is applicable to a class of algorithms (such as...
Aydin Buluç, John R. Gilbert, Ceren Budak
ICCV
2009
IEEE
15 years 1 months ago
Tracking in Unstructured Crowded Scenes
This paper presents a target tracking framework for unstructured crowded scenes. Unstructured crowded scenes are defined as those scenes where the motion of a crowd appears to b...
Mikel Rodriguez, Saad Ali, Takeo Kanade
CVPR
2007
IEEE
14 years 11 months ago
Region Classification with Markov Field Aspect Models
Considerable advances have been made in learning to recognize and localize visual object classes. Simple bag-offeature approaches label each pixel or patch independently. More adv...
Jakob J. Verbeek, Bill Triggs
CVPR
2008
IEEE
14 years 11 months ago
People-tracking-by-detection and people-detection-by-tracking
Both detection and tracking people are challenging problems, especially in complex real world scenes that commonly involve multiple people, complicated occlusions, and cluttered o...
Mykhaylo Andriluka, Stefan Roth, Bernt Schiele