1682 search results - page 177 / 337 » Applying Conventional Testing Techniques for Class Testing |
145
click to vote
ICCV
2005
IEEE
16 years 6 months ago
2005
IEEE
This paper presents a new method for the recognition and reconstruction of surfaces from 3D data. Line element geometry, which generalizes both line geometry and the Laguerre geom...
134
click to vote
ICCAD
2005
IEEE
16 years 29 days ago
2005
IEEE
— This paper addresses the problem of equivalence verification of RTL descriptions. The focus is on datapathoriented designs that implement polynomial computations over fixed-s...
121
click to vote
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a new learning approach for pattern classification applications involving imbalanced data sets. In this approach, a clustering technique is employed to resamp...
122
click to vote
ECOOP
2005
Springer
15 years 9 months ago
2005
Springer
A common method to localize defects is to compare the coverage of passing and failing program runs: A method executed only in failing runs, for instance, is likely to point to the ...
139
click to vote
CAV
2001
Springer
15 years 8 months ago
2001
Springer
In this paper we show how the classical job-shop scheduling problem can be modeled as a special class of acyclic timed automata. Finding an optimal schedule corresponds, then, to n...