4560 search results - page 643 / 912 » Finding Data in the Neighborhood |
200
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Centralized Resource Description Framework (RDF) repositories have limitations both in their failure tolerance and in their scalability. Existing Peer-to-Peer (P2P) RDF repositori...
178
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
Web services, with an emphasis on open standards and flexibility, may provide benefits over existing capital markets integration practices. However, web services must first meet c...
346
click to vote
PLDI
2009
ACM
16 years 7 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
180
click to vote
RECOMB
2009
Springer
16 years 7 months ago
2009
Springer
Phylogenetic Bootstrapping (BS) is a standard technique for inferring confidence values on phylogenetic trees that is based on reconstructing many trees from minor variations of th...
255
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
Synchronous transactional logging is the central mechanism for ensuring data persistency and recoverability in database systems. Unfortunately, magnetic disks are ill-suited for t...