Sciweavers

3417 search results - page 1 / 684
» Visualizing Partial Evaluation
Sort
View
CSUR
1998
74views more  CSUR 1998»
13 years 4 months ago
Visualizing Partial Evaluation
Oscar Waddell, R. Kent Dybvig
DAGSTUHL
2003
13 years 6 months ago
Specializing visualization algorithms
Abstract In this paper we look at the potential of program specialization techniques in the context of visualization. In particular we look at partial evaluation and pass separatio...
Stephan Diehl
KBSE
1997
IEEE
13 years 9 months ago
Application of Formal Methods to the Development of a Software Maintenance Tool
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
Sandrine Blazy, Philippe Facon
CLEF
2010
Springer
13 years 6 months ago
Visual Localization Using Global Visual Features and Vanishing Points
Abstract. This paper describes a visual localization approach for mobile robots. Robot localization is performed as location recognition. The approach uses global visual features (...
Olivier Saurer, Friedrich Fraundorfer, Marc Pollef...