1288 search results - page 57 / 258 » Visual Generalization in Programming by Example |
108
click to vote
INFORMATICALT
2000
15 years 2 months ago
2000
Abstract. We consider in this paper so called simple bracketed languages having special limitations. They are sometimes used for the definitions of some grammatical structures of p...
116
click to vote
APL
1995
ACM
15 years 5 months ago
1995
ACM
Iverson has greatly enlarged the mathematical notion of function composition and made it available to computer programmers. This paper explains the concept, and uses practical exa...
149
click to vote
ATVA
2007
Springer
15 years 8 months ago
2007
Springer
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...
130
Voted
BMCBI
2006
15 years 2 months ago
2006
Background: The recent accumulation of closely related genomic sequences provides a valuable resource for the elucidation of the evolutionary histories of various organisms. Howev...
108
click to vote
ISMIR
2005
Springer
15 years 7 months ago
2005
Springer
The focus of this paper is on ENP-expressions that can be used for annotating ENP scores with user definable information. ENP is a music notation program written in Lisp and CLOS...