2152 search results - page 342 / 431 » On Automating the Calculus of Relations |
135
click to vote
MICCAI
2005
Springer
16 years 1 months ago
2005
Springer
We present an automated algorithm for tissue segmentation of noisy, low contrast magnetic resonance (MR) images of the brain. We use a mixture model composed of a large number of G...
106
Voted
IPMI
2007
Springer
16 years 1 months ago
2007
Springer
Automated medical image segmentation is a challenging task that benefits from the use of effective image appearance models. In this paper, we compare appearance models at three reg...
104
click to vote
WWW
2004
ACM
16 years 1 months ago
2004
ACM
Semantic Web technology is intended for the retrieval, collection, and analysis of meaningful data with significant automation afforded by machine understandability of data [1]. A...
106
Voted
WWW
2004
ACM
16 years 1 months ago
2004
ACM
Prior work has shown that semantic email processes (SEPs) can be an effective tool for automating emailmediated tasks that are currently performed manually in a tedious, time-cons...
186
Voted
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
If logic programs are interpreted over a three-valued logic, then often Kleene's strong three-valued logic with complete equivalence and Fitting's associated immediate co...