Sciweavers

1087 search results - page 76 / 218
» Eta-Redexes in Partial Evaluation
Sort
View
PVLDB
2010
84views more  PVLDB 2010»
15 years 4 months ago
Processing Top-k Join Queries
We consider the problem of efficiently finding the top-k answers for join queries over web-accessible databases. Classical algorithms for finding top-k answers use branch-and-b...
Minji Wu, Laure Berti-Equille, Amélie Maria...
CORR
2010
Springer
94views Education» more  CORR 2010»
15 years 3 months ago
Using virtual human for an interactive customer-oriented constrained environment design
: For industrial product design, it is very important to take into account assembly/disassembly and maintenance operations during the conceptual and prototype design stage. For the...
Liang Ma, Ruina Ma, Damien Chablat, Fouad Bennis
INFOCOM
2003
IEEE
15 years 11 months ago
A Framework for Incremental Deployment Strategies for Router-Assisted Services
— Incremental deployment of a new network service or protocol is typically a hard problem, especially when it has to be deployed in the routers. First, an incrementally deployabl...
Xinming He, Christos Papadopoulos, Pavlin Radoslav...
ACL
2001
15 years 7 months ago
From Chunks to function-Argument Structure: A Similarity-Based Approach
Chunk parsing has focused on the recognition of partial constituent structures at the level of individual chunks. Little attention has been paid to the question of how such partia...
Sandra Kübler, Erhard W. Hinrichs
DAGSTUHL
1996
15 years 7 months ago
A Comparative Revisitation of Some Program Transformation Techniques
We revisit the main techniques of program transformation which are used in partial evaluation, mixed computation, supercompilation, generalized partial computation, rule-based prog...
Alberto Pettorossi, Maurizio Proietti