396 search results - page 49 / 80 » Combining decision procedures for the reals |
116
Voted
ICCAD
2010
IEEE
14 years 11 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
115
click to vote
COLING
2010
14 years 8 months ago
2010
Previous methods on improving translation quality by employing multiple SMT models usually carry out as a secondpass decision procedure on hypotheses from multiple systems using e...
115
click to vote
CVPR
1999
IEEE
16 years 3 months ago
1999
IEEE
We1 present a new method to shape-based segmentation of deformable anatomical structures in medical images and validate this approach by detecting and tracking the endocardial bor...
113
click to vote
ICIP
2007
IEEE
16 years 3 months ago
2007
IEEE
In this paper, we discuss the application of the two-dimensio- nal paired representation for processing medical images. This representation leads to the effective solution of the ...
128
click to vote
3DPVT
2006
IEEE
15 years 7 months ago
2006
IEEE
3D imaging is a popular method for acquiring accurate models for a variety of applications. However, the size of the geometric features that can be modeled in this manner is depen...