6800 search results - page 581 / 1360 » Testing with Functions as Specifications |
189
click to vote
GCB
2005
Springer
16 years 1 months ago
2005
Springer
: Functionally related genes involved in the same molecular-genetic, biochemical, or physiological process are often regulated coordinately Such regulation is provided by precisely...
163
click to vote
FASE
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. Software debugging is the activity of locating and correcting erroneous statements in programs. Automated tools to locate and correct the erroneous statements in a progra...
191
click to vote
GECCO
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. In many real-world applications of evolutionary computation, it is essential to reduce the number of fitness evaluations. To this end, computationally efficient models c...
212
click to vote
SETN
2004
Springer
16 years 27 days ago
2004
Springer
This paper presents a robust, automated registration algorithm, which may be applied to several types of medical images, including CTs, MRIs, Xrays, Ultrasounds and dermatological ...
170
click to vote
ECML
2003
Springer
16 years 23 days ago
2003
Springer
In this paper we show how to learn rules to improve the performance of a machine translation system. Given a system consisting of two translation functions (one from language A to ...