11394 search results - page 681 / 2279 » Error-Correcting Data Structures |
177
click to vote
BIB
2008
15 years 7 months ago
2008
A major challenge facing biodiversity informatics is integrating data stored in widely distributed databases. Initial efforts have relied on taxonomic names as the shared identifi...
208
click to vote
IJMMS
2008
15 years 7 months ago
2008
In this paper we present the design, implementation and evaluation of SOBA, a system for ontology-based information extraction from heterogeneous data resources, including plain t...
176
click to vote
IM
2006
15 years 7 months ago
2006
We consider the problem of computing information theoretic functions such as entropy on a data stream, using sublinear space. Our first result deals with a measure we call the &quo...
179
Voted
NAR
1998
15 years 7 months ago
1998
In this paper we present the updated version of the compilation of 5S rRNA and 5S rDNA nucleotide sequences. It contains 1622 primary structures of 5S rRNAs and 5S rRNA genes from...
224
click to vote
ICFEM
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...