2989 search results - page 243 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
181
click to vote
WCRE
1993
IEEE
15 years 10 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
158
click to vote
CEC
2003
IEEE
15 years 11 months ago
2003
IEEE
Although many methods for dealing with multi-objective optimisation (MOO) problems are available [Deb01] and successful applications have been reported [Coe01], the comparison betw...
156
Voted
EVOW
2010
Springer
16 years 27 days ago
2010
Springer
Abstract. Developing directed mutation methods has been an interesting research topic to improve the performance of genetic algorithms (GAs) for function optimization. This paper i...
161
click to vote
EKAW
1997
Springer
15 years 10 months ago
1997
Springer
: In this article we analyse the notion of knowledge role. First of all, we present how the relationship between problem solving methods and domain models is tackled in different a...
241
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
Motion blur due to camera shake is a annoying problem in low-light photography. In this paper, we propose a novel method to recover a sharp image from a pair of motion blurred and ...