19798 search results - page 456 / 3960 » Is Structural Subtyping Useful |
115
click to vote
ISQED
2003
IEEE
15 years 9 months ago
2003
IEEE
A structurally testable delay fault might become untestable in the functional mode of the circuit due to logic or timing constraints or both. Experimental data suggests that there...
140
Voted
IDEAL
2003
Springer
15 years 9 months ago
2003
Springer
Mining frequent patterns has been a topic of active research because it is computationally the most expensive step in association rule discovery. In this paper, we discuss the use ...
125
click to vote
ICPR
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents a fast mesh simplification algorithm that combined the half-edge data structure with modified quadric error metric (QEM). When half-edge structure is used, the...
149
click to vote
ICPR
2002
IEEE
15 years 9 months ago
2002
IEEE
Unbiased and consistent estimates of structure and motion can be obtained by least squares minimization of the differential epipolar constraint. Previous work on this subject does...
126
click to vote
FSTTCS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...