1593 search results - page 88 / 319 » A visual programming system for automated problem solving |
139
click to vote
EUROGP
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Types have been introduced to Genetic Programming (GP) by researchers with different motivation. We present the concept of types in GP and introduce a typed GP system, Po...
145
click to vote
SAC
1998
ACM
15 years 10 months ago
1998
ACM
This paper shows how a recently introduced class of applications can be solved by constraint programming. This new type of application is due to the emergence of special real-time...
164
click to vote
LICS
2010
IEEE
15 years 4 months ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
153
click to vote
LPAR
2000
Springer
15 years 9 months ago
2000
Springer
We propose a new tactic language for the system goq, which is intended to enrich the current tactic combinators (tacticals). This language is based on a functional core with recurs...
193
click to vote
GECCO
2010
Springer
15 years 11 months ago
2010
Springer
The original mechanism by which evolutionary algorithms were to solve problems was to allow for the gradual discovery of sub-solutions to sub-problems, and the automated combinati...