1087 search results - page 23 / 218 » Eta-Redexes in Partial Evaluation |
PEPM
1993
ACM
14 years 1 months ago
1993
ACM
Applications of partial evaluation have so far mainly focused on generation of compilers from interpreters for programming languages. We partially evaluate a simple general LR(k) ...
ICRA
2008
IEEE
14 years 4 months ago
2008
IEEE
— The ability of building maps of environments where they operate is one of the main requirements for autonomous mobile robots. An efficient map building process is based on a g...
P2P
2008
IEEE
14 years 4 months ago
2008
IEEE
The ”tracker” of a P2P system is used to lookup which peers hold (or partially hold) a given object. There are various designs for the tracker function, from a single-server t...
CEC
2005
IEEE
14 years 3 months ago
2005
IEEE
Abstract- This paper proposes an evolutionary approach for the composition of solutions in an incremental way. The approach is based on the metaphor of transitions in complexity di...
ICIP
2001
IEEE
14 years 11 months ago
2001
IEEE
We address the problem of fast computation of level set partial differential equations (PDEs) in the context of motion segmentation. Although several fast level set computation al...