4708 search results - page 543 / 942 » Generating the Structure of Argument |
170
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
Automatic segmentation of multiple sclerosis lesions in magnetic resonance images remains a challenging task. In this study, we present a fully automatic method to extract lesions...
195
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
Vocabularies to describe research findings are needed to effectively use scientific databases. As understanding of data evolves, scientists need tools for extending the vocabulari...
182
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
We describe collaborative efforts between a knowledge representation team, a community of scientists, and scientific information managers in developing knowledge models for ecolog...
194
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
268
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
Recommendation systems have become very popular but most recommendation methods are `hard-wired' into the system making experimentation with and implementation of new recomme...