1137 search results - page 14 / 228 » Partial Program Admission |
124
click to vote
LOPSTR
2005
Springer
15 years 8 months ago
2005
Springer
Partial evaluation of logic programs which contain impure predicates poses non-trivial challenges. Impure predicates include those which produce side-effects, raise errors (or exc...
122
click to vote
PEPM
2004
ACM
15 years 7 months ago
2004
ACM
We implement strength reduction and loop-invariant code motion by specializing instrumented interpreters; we define a novel program transformation that uses bisimulation to ident...
119
click to vote
RECOMB
2009
Springer
15 years 9 months ago
2009
Springer
Comparing genomes of different species is a crucial problem in comparative genomics. Different measures have been proposed to compare two genomes: number of common intervals, num...
109
Voted
ENTCS
2007
15 years 2 months ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
118
click to vote
AAAI
2006
15 years 3 months ago
2006
In recent years there has been a great deal of interest in "modular reinforcement learning" (MRL). Typically, problems are decomposed into concurrent subgoals, allowing ...