5109 search results - page 158 / 1022 » On Learning Limiting Programs |
141
Voted
ICTAI
2009
IEEE
15 years 11 months ago
2009
IEEE
Evolutionary computation methods have been used to solve several optimization and learning problems. This paper describes an application of evolutionary computation methods to con...
140
Voted
ICSE
2010
IEEE-ACM
15 years 10 months ago
2010
IEEE-ACM
We present a novel approach to automatic synthesis of loopfree programs. The approach is based on a combination of oracle-guided learning from examples, and constraint-based synth...
125
Voted
IJCAI
1989
15 years 6 months ago
1989
Fold-unfold is a well known program transformation technique. Its major drawback is that folding requires an Eureka step to invent new procedures. In the context of logic programm...
128
Voted
ITICSE
2005
ACM
15 years 10 months ago
2005
ACM
One of the largest barriers to learning programming is the precise and complex syntax required to write programs. This barrier is a key impediment to the integration of programmin...
118
Voted
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
A student learning how to program learns best when the programming language and programming environment cater to her specific needs. These needs are different from the requirement...