11394 search results - page 113 / 2279 » Error-Correcting Data Structures |
203
click to vote
POPL
2011
ACM
14 years 5 months ago
2011
ACM
We define a new logic, STRAND, that allows reasoning with heapmanipulating programs using deductive verification and SMT solvers. STRAND logic (“STRucture ANd Data” logic) f...
COLING
2008
15 years 4 months ago
2008
This paper describes a Question Answering system which retrieves answers from structured data regarding cinemas and movies. The system represents the first prototype of a multilin...
124
Voted
IJHPCA
2006
15 years 2 months ago
2006
In this paper, we propose a hardware performance monitor that provides support not only for measuring cache misses and the addresses associated with them, but also for determining...
126
click to vote
BMCBI
2005
15 years 2 months ago
2005
Background: Stochastic dependence between gene expression levels in microarray data is of critical importance for the methods of statistical inference that resort to pooling test-...
122
click to vote
OTM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In the engineering domain, the development of complex products (e.g., cars) necessitates the coordination of thousands of (sub-)processes. One of the biggest challenges f...