11394 search results - page 143 / 2279 » Error-Correcting Data Structures |
124
click to vote
VLDB
1998
ACM
15 years 7 months ago
1998
ACM
Numerous applications such as stock market or medical information systems require that both historical and current data be logically integrated into a temporal database. The under...
ICCV
2007
IEEE
15 years 9 months ago
2007
IEEE
We present a novel level-set method for evolving open surfaces embedded in three-dimensional volumes. We adapt the method for statistical detection and segmentation of cytoarchite...
116
click to vote
DAGSTUHL
2006
15 years 4 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
143
click to vote
BMCBI
2010
14 years 10 months ago
2010
Background: Elucidating protein-protein interactions (PPIs) is essential to constructing protein interaction networks and facilitating our understanding of the general principles ...
225
click to vote
SIGMOD
2008
ACM
16 years 3 months ago
2008
ACM
A long-standing goal of Web research has been to construct a unified Web knowledge base. Information extraction techniques have shown good results on Web inputs, but even most dom...