Sciweavers

114 search results - page 8 / 23
» Automatic Detection of Uninitialized Variables
Sort
View
ICIP
2002
IEEE
14 years 10 months ago
Region-based retrieval: coarse segmentation with fine color signature
The two major problems raised by a region-based image retrieval system are the automatic definition and description of regions. In this paper we first present a technique of unsup...
Julien Fauqueur, Nozha Boujemaa
CAV
2007
Springer
166views Hardware» more  CAV 2007»
14 years 2 months ago
Fast and Accurate Static Data-Race Detection for Concurrent Programs
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, A...
CPAIOR
2010
Springer
13 years 7 months ago
Automatically Exploiting Subproblem Equivalence in Constraint Programming
Many search problems contain large amounts of redundancy in the search. In this paper we examine how to automatically exploit remaining subproblem equivalence, which arises when tw...
Geoffrey Chu, Maria Garcia de la Banda, Peter J. S...
ISBI
2007
IEEE
14 years 2 months ago
Automatic Segmentation of Nuclei in 3d Microscopy Images of C.Elegans
Automatic segmentation of nuclei in 3D microscopy images is essential for many biological studies including high throughput analysis of gene expression level, morphology, and phen...
Fuhui Long, Hanchuan Peng, Eugene W. Myers
CVPR
2010
IEEE
14 years 4 months ago
Automatic Discovery of Meaningful Object Parts with Latent CRFs
Object recognition is challenging due to high intra-class variability caused, e.g., by articulation, viewpoint changes, and partial occlusion. Successful methods need to strike a...
Paul Schnitzspan, Stefan Roth, Bernt Schiele