2586 search results - page 219 / 518 » Automatic Abstraction for Congruences |
180
click to vote
CVBIA
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. This paper presents the creation of 3D statistical shape models of the knee bones and their use to embed information into a segmentation system for MRIs of the knee. We p...
177
click to vote
FASE
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
182
click to vote
ICIAP
2005
ACM
16 years 3 days ago
2005
ACM
Abstract. Fingerprints are one of the most used biometrics for automatic personal authentication. Unfortunately, it is often difficult to design fingerprint matchers exhibiting th...
205
click to vote
MLDM
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. The ability to discover the topic of a large set of text documents using relevant keyphrases is usually regarded as a very tedious task if done by hand. Automatic keyphra...
152
click to vote
SIGADA
2005
Springer
16 years 2 days ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...