3424 search results - page 427 / 685 » Automated Testing of Classes |
141
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: Automated protein function prediction methods are the only practical approach for assigning functions to genes obtained from model organisms. Many of the previously re...
154
Voted
BMCBI
2007
15 years 5 months ago
2007
Background: Automated methods for assembling families of orthologous genes include those based on sequence similarity scores and those based on phylogenetic approaches. The first ...
157
Voted
AMOST
2007
ACM
15 years 9 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
174
click to vote
DLOG
1998
15 years 6 months ago
1998
Effective systems for expressive description logics require a heavily-optimised subsumption checker incorporating a range of optimisation techniques. Because of the correspondence...
165
click to vote
CVPR
2000
IEEE
16 years 7 months ago
2000
IEEE
We define a process called congealing in which elements of a dataset (images) are brought into correspondence with each other jointly, producing a data-defined model. It is based ...