6274 search results - page 178 / 1255 » Proofs, Programs, Processes |
144
click to vote
AOSD
2003
ACM
15 years 11 months ago
2003
ACM
Strategic programming is a generic programming idiom for processing compound data such as terms or object structures. At the heart of the approach is the separation of two concern...
157
click to vote
ISMB
1994
15 years 7 months ago
1994
The recently-developedgenetic programming paradigmisused to evoIve a computer program to classify a given protein segment as being a transmembrane domainor non-uansmembranearea of...
155
click to vote
EACL
2006
ACL Anthology
15 years 7 months ago
2006
ACL Anthology
In this paper, we present a formalization of grammatical role labeling within the framework of Integer Linear Programming (ILP). We focus on the integration of subcategorization i...
172
click to vote
SIGPLAN
2008
15 years 6 months ago
2008
It is argued that the teaching of programming is central to the education of skilled computer professionals, that the teaching of programming languages is central to the teaching ...
203
click to vote
EWSPT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper indicates how effective software-process programming languages can lead to improved understandings of critical software processes, as well as improved process ...