5170 search results - page 1018 / 1034 » A Document-Oriented Approach to the Development of Knowledge... |
122
click to vote
SSDBM
2003
IEEE
15 years 7 months ago
2003
IEEE
String data is ubiquitous, and its management has taken on particular importance in the past few years. Approximate queries are very important on string data especially for more c...
116
click to vote
PLDI
2010
ACM
15 years 6 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
141
click to vote
CLEF
2008
Springer
15 years 3 months ago
2008
Springer
GeoCLEF is an evaluation initiative for testing queries with a geographic specification in large set of text documents. GeoCLEF ran a regular track for the third time within the C...
130
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: The availability of various "omics" datasets creates a prospect of performing the study of genomewide genetic regulatory networks. However, one of the major ...
115
click to vote
INFOCOM
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—Path computation elements (PCE’s) are used to compute end-to-end paths across multiple areas. Multiple PCE’s may be dedicated to each area to provide sufficient path...