184 search results - page 13 / 37 » Arity Raiser and its Use in Program Specialization |
109
click to vote
DAGSTUHL
1996
15 years 1 months ago
1996
Abstract. Type-directed partial evaluation stems from the residualization of arbitrary static values in dynamic contexts, given their type. Its algorithm coincides with the one for...
121
click to vote
ENTCS
2007
15 years 10 days ago
2007
Poly-controlled partial evaluation (PCPE) is a flexible approach for specializing logic programs, which has been recently proposed. It takes into account repertoires of global co...
ASIAN
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. Type-directed partial evaluation is a new approach to program specialization for functional programming languages. Its merits with respect to the traditional offline part...
102
Voted
CDC
2010
IEEE
14 years 7 months ago
2010
IEEE
We consider the classical finite-state discounted Markovian decision problem, and we introduce a new policy iteration-like algorithm for finding the optimal state costs or Q-facto...
139
Voted
DATAMINE
1999
15 years 1 days ago
1999
Discovery of frequent patterns has been studied in a variety of data mining settings. In its simplest form, known from association rule mining, the task is to discover all frequent...