8828 search results - page 1590 / 1766 » Formal methods in practice |
150
click to vote
TCAD
2008
15 years 4 months ago
2008
At-speed functional testing, delay testing, and n-detection test sets are being used today to detect deep submicrometer defects. However, the resulting test data volumes are too hi...
139
click to vote
TIP
2008
15 years 4 months ago
2008
Density estimation for observational data plays an integral role in a broad spectrum of applications, e.g. statistical data analysis and information-theoretic image registration. ...
152
click to vote
TVCG
2008
15 years 4 months ago
2008
In many information visualization techniques, labels are an essential part to communicate the visualized data. To preserve the expressiveness of the visual representation, a placed...
141
click to vote
BMCBI
2004
15 years 4 months ago
2004
Background: Grouping proteins into sequence-based clusters is a fundamental step in many bioinformatic analyses (e.g., homology-based prediction of structure or function). Standar...
136
click to vote
JCNS
2000
15 years 4 months ago
2000
Abstract. The spectrotemporal receptive field (STRF) is a functional descriptor of the linear processing of timevarying acoustic spectra by the auditory system. By cross-correlatin...