1593 search results - page 88 / 319 » A visual programming system for automated problem solving |
112
Voted
EUROGP
2001
Springer
15 years 8 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...
122
Voted
SAC
1998
ACM
15 years 8 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...
134
Voted
LICS
2010
IEEE
15 years 2 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 ...
123
Voted
LPAR
2000
Springer
15 years 7 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...
159
Voted
GECCO
2010
Springer
15 years 8 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...