5550 search results - page 930 / 1110 » Different Approaches to Proof Systems |
177
click to vote
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
In this paper we propose a new approach for false positive reduction in the field of mammographic mass detection. The goal is to distinguish between the true recognized masses and ...
143
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
In this paper, we review the paradigm of inductive process modeling, which uses background knowledge about possible component processes to construct quantitative models of dynamic...
145
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
134
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
We present a method for the construction of patient-specific atlases of the brain. Traditional atlases of the brain aim to characterize the variability of a population of subjects...
203
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Giving suggestions to users of Web-based services is a common practice aimed at enhancing their navigation experience. Major Web Search Engines usually provide Suggestions under t...