2052 search results - page 37 / 411 » Direct Combination |
ENTCS
2008
15 years 2 months ago
2008
We present a generic congruence closure algorithm for deciding ground formulas in the combination of the theory of equality with uninterpreted symbols and an arbitrary built-in so...
128
click to vote
CVPR
2008
IEEE
16 years 4 months ago
2008
IEEE
Human-aided computing proposes using information measured directly from the human brain in order to perform useful tasks. In this paper, we extend this idea by fusing computer vis...
102
click to vote
ICSM
2002
IEEE
15 years 6 months ago
2002
IEEE
During the past ten years, a large number of quality models have been proposed in the literature. In general, the goal of these models is to predict a quality factor starting from...
109
click to vote
DAC
2007
ACM
16 years 2 months ago
2007
ACM
Modern combinational equivalence checking (CEC) engines are complicated programs which are difficult to verify. In this paper we show how a modern CEC engine can be modified to pr...
100
click to vote
ICPR
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper proposes a hybrid model for deformable template which combines alignable and non-alignable sketches. These sketches are subject to slight or considerable translations i...