1090 search results - page 52 / 218 » Type-Directed Partial Evaluation |
110
Voted
PADO
2001
Springer
15 years 5 months ago
2001
Springer
nt Abstractions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 J¨orgen Gustavsson, Josef Svenningsson Implementing Circularity Using Pa...
123
click to vote
KBSE
1997
IEEE
15 years 5 months ago
1997
IEEE
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
124
click to vote
AMAI
2007
Springer
15 years 29 days ago
2007
Springer
We present here a formal foundation for an iterative and incremental approach to constructing and evaluating preference queries. Our main focus is query modification: a query tran...
102
Voted
IJCAI
2003
15 years 2 months ago
2003
Information personalization is fertile ground for application of AI techniques. In this article I relate personalization to the ability to capture partial information in an informa...
126
Voted
SIAMSC
2010
14 years 11 months ago
2010
A greedy algorithm for the construction of a reduced model with reduction in both parameter and state is developed for efficient solution of statistical inverse problems governed b...