350 search results - page 22 / 70 » A Component-Labeling Algorithm Using Contour Tracing Techniq... |
EUROSYS
2006
ACM
14 years 5 months ago
2006
ACM
Computer problem diagnosis remains a serious challenge to users and support professionals. Traditional troubleshooting methods relying heavily on human intervention make the proce...
PLDI
2009
ACM
14 years 9 months ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
NFM
2011
13 years 3 months ago
2011
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...
ICIP
2003
IEEE
14 years 10 months ago
2003
IEEE
Boundary detection in MR image with brain tumor is an important image processiug technique applied in Radiology for 3D reconstruction. The nonhomogeneities density tissue of the br...
CVPR
2004
IEEE
14 years 10 months ago
2004
IEEE
This paper proposes a new framework for image segmentation based on the integration of MRFs and deformable models using graphical models. We first construct a graphical model to r...