Sciweavers

3417 search results - page 5 / 684
» Visualizing Partial Evaluation
Sort
View
SLP
1990
76views more  SLP 1990»
13 years 8 months ago
Partial Evaluation for Hierarchies of Logic Theories
We discuss the impact of Partial Evaluation within the framework of structured logic programming. We define a general scheme for Partial Evaluation to be applied to a wide class o...
Michele Bugliesi, Evelina Lamma, Paola Mello
ERSHOV
1999
Springer
13 years 11 months ago
Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All
Abstract. Existing partial evaluators usually fix the strategy for binding-time analysis. But a single strategy cannot fulfill all goals without leading to compromises regarding ...
Niels H. Christensen, Robert Glück, Sø...
PLDI
1997
ACM
13 years 11 months ago
Two for the Price of One: Composing Partial Evaluation and Compilation
One of the flagship applications of partial evaluation is compilation and compiler generation. However, partial evaluation is usually expressed as a source-to-source transformati...
Michael Sperber, Peter Thiemann
PEPM
1999
ACM
13 years 11 months ago
C++ Templates as Partial Evaluation
This paper explores the relationship between C++ templates and partial evaluation. Templates were designed to support generic programming but unintentionally provided the ability ...
Todd L. Veldhuizen

Publication
468views
13 years 3 months ago
Visual object tracking via sample-based Adaptive Sparse Representation (AdaSR)
When appearance variation of object and its background, partial occlusion or deterioration in object images occurs, most existing visual tracking methods tend to fail in tracking ...
Zhenjun Han, Jianbin Jiao, Baochang Zhang, Qixiang...