1725 search results - page 214 / 345 » Relaxed genetic programming |
EUSFLAT
2007
14 years 11 months ago
2007
This paper concerns problem of selection of optimal subset of irredundant unconditional diagnostic tests by means of evolutionary approach. The method of correction of features’...
GECCO
2008
Springer
14 years 11 months ago
2008
Springer
One problem that has plagued Genetic Programming (GP) and its derivatives is numerical constant creation. Given a mathematical formula expressed as a tree structure, the leaf node...
CVPR
2004
IEEE
16 years 1 days ago
2004
IEEE
Given a set of patterns and a similarity measure between them, we will present an optimization framework to approximate a small subset, known as a canonical set, whose members clo...
146
click to vote
POPL
2003
ACM
15 years 10 months ago
2003
ACM
The World-Wide Web Consortium (W3C) promotes XML and related standards, including XML Schema, XQuery, and XPath. This paper describes a formalization XML Schema. A formal semantic...
ESOP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We describe a symbolic heap abstraction that unifies reasoning about arrays, pointers, and scalars, and we define a fluid update operation on this symbolic heap that rela...