Sciweavers

4167 search results - page 469 / 834
» Evolutionary functional testing
Sort
View
131
Voted
FASE
2004
Springer
15 years 11 months ago
Automated Debugging Using Path-Based Weakest Preconditions
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...
Haifeng He, Neelam Gupta
168
Voted
SETN
2004
Springer
15 years 11 months ago
Automated Medical Image Registration Using the Simulated Annealing Algorithm
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 ...
Ilias Maglogiannis, Elias P. Zafiropoulos
ECML
2003
Springer
15 years 11 months ago
Learning Rules to Improve a Machine Translation System
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 ...
David Kauchak, Charles Elkan
CDC
2009
IEEE
173views Control Systems» more  CDC 2009»
15 years 11 months ago
Sequentially updated Probability Collectives
— Multi-agent coordination problems can be cast as distributed optimization tasks. Probability Collectives (PCs) are techniques that deal with such problems in discrete and conti...
Michalis Smyrnakis, David S. Leslie
FPL
2009
Springer
161views Hardware» more  FPL 2009»
15 years 10 months ago
A multi-FPGA architecture for stochastic Restricted Boltzmann Machines
Although there are many neural network FPGA architectures, there is no framework for designing large, high-performance neural networks suitable for the real world. In this paper, ...
Daniel L. Ly, Paul Chow