11219 search results - page 121 / 2244 » Retroactive data structures |
110
Voted
DAGSTUHL
2006
15 years 3 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...
222
Voted
SIGMOD
2008
ACM
16 years 2 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...
117
Voted
ICB
2009
Springer
15 years 9 months ago
2009
Springer
We developed measures relating feature vector distributions to speaker recognition (SR) performances for performance prediction and potential arbitrary data selection for SR. We ex...
135
Voted
ISBI
2007
IEEE
15 years 8 months ago
2007
IEEE
3D cell culture assays have emerged as the basis of an improved model system for evaluating therapeutic agents, molecular probes, and exogenous stimuli. However, there is a gap in...
107
click to vote
P2P
2006
IEEE
15 years 8 months ago
2006
IEEE
We describe the problem of data dissemination in stream-oriented applications where the required filter is a function of the current state. We call such functions dynamic filter...