1768 search results - page 164 / 354 » A Logic for Algebraic Effects |
183
click to vote
IFIP
2001
Springer
15 years 11 months ago
2001
Springer
: High defect coverage requires good coverage of different fault types. In this paper, we present a comprehensive test vector generation technique for BIST, called Random Single In...
198
click to vote
DAWAK
2000
Springer
15 years 11 months ago
2000
Springer
In the context of multidimensional databases implemented on relational DBMSs through star schemes, the most effective technique to enhance performances consists of materializing re...
150
click to vote
VTS
1997
IEEE
15 years 11 months ago
1997
IEEE
We address the problem of rectifying an incorrect combinational circuit against a given specification. Based on the symbolic BDD techniques, we consider the rectification process,...
197
click to vote
ICDAR
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper presents a flexible and effective examplebased approach for labeling title pages which can be used for automated extraction of bibliographic data. The labels of intere...
174
click to vote
IJCAI
2001
15 years 8 months ago
2001
The implementation of effective reasoning tools for deciding the satisfiability of Quantified Boolean Formulas (QBFs) is an important research issue in Artificial Intelligence. Ma...