Sciweavers

8141 search results - page 248 / 1629
» Higher Order Generalization
Sort
View
149
Voted
LICS
2009
IEEE
15 years 11 months ago
Applications of Game Semantics: From Program Analysis to Hardware Synthesis
After informally reviewing the main concepts from game semantics and placing the development of the field in a historical context we examine its main applications. We focus in pa...
Dan R. Ghica
106
Voted
MOC
1998
73views more  MOC 1998»
15 years 4 months ago
Accelerated spectral approximation
Abstract. A systematic development of higher order spectral analysis, introduced by Dellwo and Friedman, is undertaken in the framework of an appropriate product space. Accelerated...
Rafikul Alam, Rekha P. Kulkarni, Balmohan V. Limay...
GECCO
2005
Springer
177views Optimization» more  GECCO 2005»
15 years 10 months ago
Evolving next generation signal compression and reconstruction transforms via genetic algorithms
Ongoing research has established a new methodology for using genetic algorithms [2] to evolve forward and inverse transforms that significantly reduce quantization error in recons...
Frank W. Moore, Patrick Marshall
POPL
2006
ACM
16 years 5 months ago
Certified assembly programming with embedded code pointers
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...
Zhaozhong Ni, Zhong Shao
131
Voted
ICFP
2007
ACM
16 years 5 months ago
User-friendly functional programming for web mashups
MashMaker is a web-based tool that makes it easy for a normal user to create web mashups by browsing around, without needing to type, or plan in advance what they want to do. Like...
Robert Ennals, David Gay