6800 search results - page 906 / 1360 » Testing with Functions as Specifications |
172
click to vote
PAMI
2008
15 years 6 months ago
2008
In this work, we propose the use of a modified version of the correlation coefficient as a performance criterion for the image alignment problem. The proposed modification has the ...
194
click to vote
SIAMSC
2008
15 years 6 months ago
2008
We present a two-phase algorithm for solving large-scale quadratic programs (QPs). In the first phase, gradient-projection iterations approximately minimize an augmented Lagrangian...
167
click to vote
JCC
2007
15 years 6 months ago
2007
Abstract: A new parallel algorithm has been developed for calculating the analytic energy derivatives of full accuracy second order Møller-Plesset perturbation theory (MP2). Its m...
196
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Alternative splicing is an efficient mechanism for increasing the variety of functions fulfilled by proteins in a living cell. It has been previously demonstrated that...
203
click to vote
CG
2002
Springer
15 years 6 months ago
2002
Springer
Gentropy is a genetic programming system that evolves two-dimensional procedural textures. It synthesizes textures by combining mathematical and image manipulation functions into ...