3481 search results - page 411 / 697 » A New Approach to Component Testing |
186
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
162
click to vote
TREC
2004
15 years 8 months ago
2004
Gene Ontology (GO) is a controlled vocabulary. Given a gene product, GO enables scientists to clearly and unambiguously describe specific molecular functions of the gene product, ...
128
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
This paper presents a new approach to discriminative modeling for classi cation and labeling. Our method, called Boosting on Multilevel Aggregates (BMA), adds a new class of hiera...
166
click to vote
ML
2006
ACM
16 years 16 days ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
186
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents an improved version of a simple evolution strategy (SES) to solve global nonlinear optimization problems. As its previous version, the approach does not require...