3281 search results - page 476 / 657 » An Approach to use Executable Models for Testing |
ASPLOS
2006
ACM
15 years 4 months ago
2006
ACM
The sustained push toward smaller and smaller technology sizes has reached a point where device reliability has moved to the forefront of concerns for next-generation designs. Sil...
97
Voted
CVPR
2000
IEEE
15 years 1 months ago
2000
IEEE
The National Aeronautics and Space Administration (NASA), along with members of the aircraft industry, recently developed technologies for a new supersonic aircraft. One of the te...
99
Voted
BMCBI
2008
14 years 10 months ago
2008
Background: Searching for similarities in protein and DNA databases has become a routine procedure in Molecular Biology. The Smith-Waterman algorithm has been available for more t...
CSDA
2010
14 years 10 months ago
2010
The use of trimming procedures constitutes a natural approach to robustifying statistical methods. This is the case of goodness-of-fit tests based on a distance, which can be modi...
WSDM
2010
ACM
15 years 7 months ago
2010
ACM
We describe a machine learning approach for predicting sponsored search ad relevance. Our baseline model incorporates basic features of text overlap and we then extend the model t...