3931 search results - page 451 / 787 » Separation logic and abstraction |
139
click to vote
MICCAI
2009
Springer
16 years 8 months ago
2009
Springer
Abstract. This paper presents a general PDE-framework for registration of contrast enhanced images. The approach directly applies the idea of separating the contrast enhancement te...
213
click to vote
IPMI
2001
Springer
16 years 8 months ago
2001
Springer
Abstract. Analysis of shape variability is important for diagnostic classification and understanding of biological processes. We present a novel shape analysis approach based on a ...
176
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
Abstract. Current text classification systems typically use term stems for representing document content. Semantic Web technologies allow the usage of features on a higher semantic...
308
click to vote
VLDB
2003
ACM
16 years 7 months ago
2003
ACM
Abstract. In traditional software systems, significant attention is devoted to keeping modules well separated and coherent with respect to functionality, thus ensuring that changes...
158
click to vote
ALT
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. The nearest neighbor and the perceptron algorithms are intuitively motivated by the aims to exploit the “cluster” and “linear separation” structure of the data to...