7167 search results - page 112 / 1434 » A Technique for Invariant Generation |
149
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. Contract-based property checkers hold the potential for precise, scalable, and incremental reasoning. However, it is difficult to apply such checkers to large program mod...
151
click to vote
DELTA
2008
IEEE
16 years 23 days ago
2008
IEEE
Scan is a widely used design-for-testability technique to improve test and diagnosis quality, however, scan chain failures account for almost 50% of chip failures. In this paper, ...
175
click to vote
SYNASC
2006
IEEE
16 years 9 days ago
2006
IEEE
Existing methods of information extraction from HTML documents include manual approach, supervised learning and automatic techniques. The manual method has high precision and reca...
174
click to vote
ISMIR
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes a visual playlist creation method based on a previously designed visualization technique for large music collections. The method gives users high-level contro...
158
click to vote
DELTA
2002
IEEE
15 years 11 months ago
2002
IEEE
A DSP technique that transforms a digital signal by warping the frequency axis is discussed. The technique corresponds to a mapping of the samples in the z-domain such that they a...