133 search results - page 16 / 27 » On a Fully Abstract Model for a Quantum Linear Functional La... |
IDEAS
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract. We consider the class of applications that manage time series (TS) and propose a data model and a query language that let these applications manipulate TS data sets at a ...
TIP
2010
13 years 3 months ago
2010
Abstract--Can images be decomposed into the sum of a geometric part and a textural part? In a theoretical breakthrough, [Y. Meyer, Oscillating Patterns in Image Processing and Nonl...
DAGSTUHL
2007
13 years 10 months ago
2007
iary models in order to bridge the semantic gap between high-level, abstract user requirements and low-level, concrete programs and to support a stepwise refinement process. This d...
ESTIMEDIA
2009
Springer
13 years 6 months ago
2009
Springer
Abstract--Memory accesses are a major cause of energy consumption for embedded systems and the stack is a frequent target for data accesses. This paper presents a fully software te...
POPL
2010
ACM
14 years 6 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...