Sciweavers

5230 search results - page 738 / 1046
» Engineering of Computer Vision Algorithms Using Evolutionary...
Sort
View
118
Voted
SIGSOFT
2003
ACM
16 years 4 months ago
Runtime safety analysis of multithreaded programs
Foundational and scalable techniques for runtime safety analysis of multithreaded programs are explored in this paper. A technique based on vector clocks to extract the causal dep...
Koushik Sen, Grigore Rosu, Gul Agha
INTENSIVE
2009
IEEE
15 years 10 months ago
Accelerating K-Means on the Graphics Processor via CUDA
In this paper an optimized k-means implementation on the graphics processing unit (GPU) is presented. NVIDIA’s Compute Unified Device Architecture (CUDA), available from the G8...
Mario Zechner, Michael Granitzer
227
Voted
TOPLAS
2008
81views more  TOPLAS 2008»
15 years 3 months ago
Size-change termination with difference constraints
lem of inferring termination from such abstract information is not the halting problem for programs and may well be decidable. If this is the case, the decision algorithm forms a &...
Amir M. Ben-Amram
128
Voted
CVPR
1998
IEEE
16 years 5 months ago
Interactive Sensor Planning
This paper describes an interactive sensor planning system that can be used to select viewpoints subject to camera visibility, field of view and task constraints. Application area...
Ioannis Stamos, Peter K. Allen
145
Voted
CVPR
2005
IEEE
16 years 5 months ago
A Direct Method for Modeling Non-Rigid Motion with Thin Plate Spline
Thin plate spline (TPS) transformations have been applied to non-rigid shape matching with impressive results. However, existing methods often use a sparse set of point correspond...
Jongwoo Lim, Ming-Hsuan Yang