7393 search results - page 466 / 1479 » Synthesis-for-testability using transformations |
172
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Correspondence algorithms typically struggle with shapes that display part-based variation. We present a probabilistic approach that matches shapes using independent part transfor...
193
click to vote
DSN
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we propose a novel technique to detect all dangling pointer uses at run-time that is efficient enough for production use in server codes. One idea (previously used ...
169
Voted
IJCAI
1989
15 years 7 months ago
1989
We present a methodology for using analogy to derive programs based on a derivational transformation method. The derived programs are deductively closed under the rules in the kno...
202
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: Tiling array data is hard to interpret due to noise. The wavelet transformation is a widely used technique in signal processing for elucidating the true signal from no...
161
click to vote
MIR
2006
ACM
16 years 10 days ago
2006
ACM
We present a general approach for automatically matching electronic slides to videos of corresponding presentations for use in distance learning and video proceedings of conferenc...