8132 search results - page 337 / 1627 » Dependability, Abstraction, and Programming |
180
click to vote
CP
2007
Springer
15 years 10 months ago
2007
Springer
Recently, constraint-programming techniques have been used to generate test data and to verify the conformity of a program with its specification. Constraint generated for these ta...
155
click to vote
ESA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We give a novel general approach for solving NP-hard optimization problems that combines dynamic programming and fast matrix multiplication. The technique is based on red...
175
click to vote
FMICS
2006
Springer
15 years 10 months ago
2006
Springer
Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Lan...
199
click to vote
PROPOR
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. This work is part of the effort to develop a speech recognition system for Brazilian Portuguese. The resources for the training and test stages of this system, such as c...
198
click to vote
EUROGP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Geometric Differential Evolution (GDE) is a very recently introduced formal generalization of traditional Differential Evolution (DE) that can be used to derive specific ...