2961 search results - page 206 / 593 » Optimization of tele-immersion codes |
CADE
2003
Springer
14 years 8 months ago
2003
Springer
Abstract. We present an abstract view of existential variables in a dependently typed lambda-calculus based on modal type theory. This allows us to justify optimizations to pattern...
USENIX
2008
13 years 10 months ago
2008
Large-scale parallel dataflow systems, e.g., Dryad and Map-Reduce, have attracted significant attention recently. High-level dataflow languages such as Pig Latin and Sawzall are b...
ICIP
1997
IEEE
14 years 9 months ago
1997
IEEE
In this paper, we present a fast and optimal method for the lossy encoding of object boundaries which are given as 8-connect chain codes. We approximate the boundary by a polygon ...
CC
2003
Springer
14 years 1 months ago
2003
Springer
This paper presents a semantics-based compilation model for an aspect-oriented programming language based on its operational semantics. Using partial evaluation, the model can expl...
VTC
2010
IEEE
13 years 6 months ago
2010
IEEE
— Much work has been done aiming at minimization of energy consumption for transmission of information in energy constrained wireless networks. However, most of them assume uncod...