16404 search results - page 2596 / 3281 » A set coverage problem |
221
Voted
PPDP
2005
Springer
16 years 22 days ago
2005
Springer
The paper develops a self-tuning resource aware partial evaluation technique for Prolog programs, which derives its own control strategies tuned for the underlying computer archit...
172
Voted
PPDP
2005
Springer
16 years 22 days ago
2005
Springer
Type checking and type inference are fundamentally similar problems. However, the algorithms for performing the two operations, on the same type system, often differ significant...
168
Voted
RE
2005
Springer
16 years 22 days ago
2005
Springer
View merging, also called view integration, is a key problem in conceptual modeling. Large models are often constructed and accessed by manipulating individual views, but it is im...
192
click to vote
SARA
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. The presence of long gaps dramatically increases the difficulty of detecting and characterizing complex events hidden in long sequences. In order to cope with this proble...
203
Voted
SCALESPACE
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. We present a technique for texture mapping arbitrary sphere-like surfaces with minimal distortions by spherical embedding. The embedding is computed using spherical multi...