5550 search results - page 918 / 1110 » Different Approaches to Proof Systems |
212
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
Background: Since Swanson proposed the Undiscovered Public Knowledge (UPK) model, there have been many approaches to uncover UPK by mining the biomedical literature. These earlier...
201
click to vote
GRID
2007
Springer
16 years 24 days ago
2007
Springer
Abstract— Markets and auctions have been proposed as mechanisms for efficiently and fairly allocating resources in a number of different computational settings. Economic approac...
188
click to vote
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
This paper summarizes the work done at the State University of New York at Buffalo (UB) in the GeoCLEF 2006 track. The approach presented uses pure IR techniques (indexing of sing...
219
click to vote
CLEF
2009
Springer
15 years 7 months ago
2009
Springer
GikiCLEF focused on the evaluation of the reasoning capabilities of systems to provide right answers for geographically-challenging topics. As we did not have previous experience ...
188
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Large-scale sequencing of entire genomes has ushered in a new age in biology. One of the next grand challenges is to dissect the cellular networks consisting of many i...