2550 search results - page 29 / 510 » The Meaning of Open Standards |
CC
2001
Springer
14 years 29 days ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
The k-means method is a widely used clustering algorithm. One of its distinguished features is its speed in practice. Its worst-case running-time, however, is exponential, leaving...
CIKM
2009
Springer
13 years 6 months ago
2009
Springer
Standard approaches to evaluating and comparing information retrieval systems compute simple averages of performance statistics across individual topics to measure the overall sys...
BMCBI
2010
13 years 8 months ago
2010
Background: Predicting metabolic sites is important in the drug discovery process to aid in rapid compound optimisation. No interactive tool exists and most of the useful tools ar...
BMCBI
2007
13 years 8 months ago
2007
The bio-ontology community falls into two camps: first we have biology domain experts, who actually hold the knowledge we wish to capture in ontologies; second, we have ontology s...