233 search results - page 30 / 47 » The Shapes of Trees |
104
Voted
CVRMED
1995
Springer
15 years 4 months ago
1995
Springer
This paper presents a technique for the segmentation of anatomic structures in medical images using a topologically adaptable snakes model. The model is set in the framework of dom...
93
Voted
ENTCS
2007
15 years 10 days ago
2007
In the constructive setting, membership predicates over recursive types are inhabited by terms indexing the elements that satisfy the criteria for membership. In this paper, we mo...
122
click to vote
JMM2
2008
15 years 10 days ago
2008
As computer and database technologies advance rapidly, biologists all over the world can share biologically meaningful data from images of specimens and use the data to classify th...
149
Voted
CORR
2004
Springer
15 years 6 days ago
2004
Springer
We introduce regular graph constraints and explore their decidability properties. The motivation for regular graph constraints is 1) type checking of changing types of objects in ...
87
Voted
ICML
2005
IEEE
16 years 1 months ago
2005
IEEE
We examine the relationship between the predictions made by different learning algorithms and true posterior probabilities. We show that maximum margin methods such as boosted tre...