3713 search results - page 638 / 743 » Constructing a Calculus of Programs |
LICS
2009
IEEE
14 years 4 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...
CPAIOR
2009
Springer
14 years 4 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...
RECOMB
2010
Springer
14 years 4 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...
DATE
2008
IEEE
14 years 4 months ago
2008
IEEE
Mutation analysis is a widely-adopted strategy in software testing with two main purposes: measuring the quality of test suites, and identifying redundant code in programs. Simila...
ICALT
2008
IEEE
14 years 4 months ago
2008
IEEE
This paper presents the adaptation model used in NUCLEO, a pilot e-learning environment that is currently being developed at the Complutense University of Madrid. The NUCLEO syste...