2302 search results - page 137 / 461 » Testing as Abstraction |
143
click to vote
IBPRIA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper deals with the problem of reconstructing a highresolution image from an incomplete set of undersampled, blurred and noisy images shifted with subpixel displace...
175
click to vote
SWARM
2010
SPRINGER
15 years 11 months ago
2010
SPRINGER
Abstract. In this work we propose a different particle swarm optimization (PSO) algorithm that employs two key features of the conjugate gradient (CG) method. Namely, adaptive wei...
170
click to vote
TPHOL
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...
155
click to vote
CEC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— We present a grammar-based genetic programming framework for the solving the timetabling problem via the evolution of constructive heuristics. The grammar used for prod...
162
click to vote
COCOA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Pooling design is an important research topic in bioinformatics due to its wide applications in molecular biology, especially DNA library screening. In this paper, with u...