2935 search results - page 473 / 587 » An Integrated Approach to High Integrity Software Verificati... |
149
click to vote
ICML
2004
IEEE
16 years 6 months ago
2004
IEEE
Many clustering algorithms fail when dealing with high dimensional data. Principal component analysis (PCA) is a popular dimensionality reduction algorithm. However, it assumes a ...
244
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
Curated databases in bioinformatics and other disciplines are the result of a great deal of manual annotation, correction and transfer of data from other sources. Provenance infor...
268
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
Personalization is a powerful mechanism that helps users to cope with the abundance of information on the Web. Database query personalization achieves this by dynamically construc...
167
click to vote
ICCAD
2001
IEEE
16 years 2 months ago
2001
IEEE
: This paper describes ASF, a novel cell-level analog synthesis framework that can size and bias a given circuit topology subject to a set of performance objectives and a manufactu...
151
click to vote
ATS
2009
IEEE
16 years 23 days ago
2009
IEEE
Abstract—SAT-based ATPG turned out to be a robust alternative to classical structural ATPG algorithms such as FAN. The number of unclassified faults can be significantly reduce...