Sciweavers

1029 search results - page 132 / 206
» Dependence Anti Patterns
Sort
View
POPL
2012
ACM
12 years 5 months ago
Resource-sensitive synchronization inference by abduction
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...
Matko Botincan, Mike Dodds, Suresh Jagannathan
CVPR
2009
IEEE
1528views Computer Vision» more  CVPR 2009»
15 years 2 months ago
Structured Output-Associative Regression
Structured outputs such as multidimensional vectors or graphs are frequently encountered in real world pattern recognition applications such as computer vision, natural language pr...
Liefeng Bo and Cristian Sminchisescu
CVPR
1999
IEEE
15 years 7 days ago
High-Level and Generic Models for Visual Search: When Does High Level Knowledge Help?
We analyze the problem of detecting a road target in background clutter and investigate the amount of prior (i.e. target specific) knowledge needed to perform this search task. Th...
Alan L. Yuille, James M. Coughlan
CVPR
2008
IEEE
15 years 7 days ago
Extrinsic and depth calibration of ToF-cameras
Recently, ToF-cameras have attracted attention because of their ability to generate a full 21 2 D depth image at video frame rates. Thus, ToF-cameras are suitable for real-time 3D...
Stefan Fuchs, Gerd Hirzinger
ICCV
2005
IEEE
15 years 4 days ago
Detecting Irregularities in Images and in Video
We address the problem of detecting irregularities in visual data, e.g., detecting suspicious behaviors in video sequences, or identifying salient patterns in images. The term &qu...
Oren Boiman, Michal Irani