5090 search results - page 876 / 1018 » Constructing Strategies for Programming |
109
click to vote
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
—What is reachability in higher-order functional programs? We formulate reachability as a decision problem in the setting of the prototypical functional language PCF, and show th...
145
click to vote
CPAIOR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The multileaf collimator sequencing problem is an important component in effective cancer treatment delivery. The problem can be formulated as finding a decomposition of...
126
click to vote
RECOMB
2010
Springer
15 years 10 months ago
2010
Springer
Given molecular genetic data from diploid individuals that, at present, reproduce mostly or exclusively asexually without recombination, an important problem in evolutionary biolog...
118
click to vote
IV
2008
IEEE
15 years 10 months ago
2008
IEEE
Existing Information Visualization models provide insufficient support to visualization programmers in creating applications. They either broad and taxonomy based, or narrowly fo...
137
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper demonstrates how two different sets of powerful domain specific language features can be specified and deployed as composable language extensions. These extensions...