12774 search results - page 2250 / 2555 » A Framework for Proof Systems |
159
click to vote
CIKM
2005
Springer
16 years 9 days ago
2005
Springer
This paper presents a novel formulation and approach to the minimal document set retrieval problem. Minimal Document Set Retrieval (MDSR) is a promising information retrieval task...
197
click to vote
CIKM
2005
Springer
16 years 9 days ago
2005
Springer
We present data representations, distance measures and organizational structures for fast and efficient retrieval of similar shapes in image databases. Using the Hough Transform w...
162
click to vote
CIKM
2005
Springer
16 years 9 days ago
2005
Springer
In multi-relational databases, a view, which is a context- and content-dependent subset of one or more tables (or other views), is often used to preserve privacy by hiding sensiti...
187
click to vote
CVBIA
2005
Springer
16 years 9 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...
178
click to vote
ECMDAFA
2005
Springer
16 years 9 days ago
2005
Springer
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...