933 search results - page 13 / 187 » Fully automatic cross-associations |
128
click to vote
MICCAI
2005
Springer
16 years 6 months ago
2005
Springer
We present a fully automatic 3D segmentation method for the left ventricle (LV) in human myocardial perfusion SPECT data.
166
click to vote
CADE
2008
Springer
15 years 8 months ago
2008
Springer
Recent studies have provided many characterisations of the class of polynomial time computable functions through term rewriting techniques. In this paper we describe a (fully autom...
160
click to vote
ICIP
2003
IEEE
16 years 7 months ago
2003
IEEE
In this paper a new automatic approach to road extraction from aerial images is proposed. This method improves a recently introduced promising approach to probabilistic contour tr...
140
click to vote
JAR
2008
15 years 6 months ago
2008
We introduce a specification language, Promela-Lite, which captures the essential features of Promela but which, unlike Promela, has a formally defined semantics. We show how we ca...
145
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We present a new technique for verifying correspondences in security protocols. In particular, correspondences can be used to formalize authentication. Our technique is fully auto...