33 search results - page 6 / 7 » cade 2010 |
TMI
2010
13 years 3 days ago
2010
Abstract--We have developed a novel, model-based active contour algorithm, termed "snakules", for the annotation of spicules on mammography. At each suspect spiculated ma...
ICIP
2010
IEEE
13 years 2 months ago
2010
IEEE
We present a new method called "snakules" for the annotation of spicules on mammography. Snakules employs parametric open-ended snakes that are deployed in a region arou...
CADE
2010
Springer
13 years 6 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
CADE
2010
Springer
13 years 4 months ago
2010
Springer
Polynomial interpretations are a useful technique for proving termination of term rewrite systems. In an automated setting, termination tools are concerned with parametric polynomi...
CADE
2010
Springer
13 years 6 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...