5109 search results - page 158 / 1022 » On Learning Limiting Programs |
169
click to vote
ICTAI
2009
IEEE
16 years 1 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...
161
click to vote
ICSE
2010
IEEE-ACM
15 years 11 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...
145
click to vote
IJCAI
1989
15 years 7 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...
151
click to vote
ITICSE
2005
ACM
16 years 16 hour 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...
133
click to vote
ICFP
2010
ACM
15 years 7 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...