114 search results - page 13 / 23 » Automatic Detection of Uninitialized Variables |
SC
1995
ACM
14 years 3 days ago
1995
ACM
This paper presents an extensive empirical evaluation of an interprocedural parallelizing compiler, developed as part of the Stanford SUIF compiler system. The system incorporates...
TMI
2010
13 years 7 months ago
2010
—This paper presents a procedure for automatic extraction and segmentation of a class-specific object (or region) by learning class-specific boundaries. We describe and evaluat...
CVPR
2004
IEEE
14 years 10 months ago
2004
IEEE
Many classes of images have the characteristics of sparse structuring of statistical dependency and the presence of conditional independencies among various groups of variables. S...
ICCV
2007
IEEE
14 years 2 months ago
2007
IEEE
Three-dimensional geometric data play fundamental roles in many computer vision applications. However, their scale-dependent nature, i.e. the relative variation in the spatial ext...
CAV
2011
Springer
13 years 5 days ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...