394 search results - page 14 / 79 » An Abstract Domain of Uninterpreted Functions |
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We propose a framework that learns functional objectes from spatio-temporal data sets such as those abstracted from video. The data is represented as one activity graph t...
SFP
2003
13 years 9 months ago
2003
Abstract This paper explores the suitability of functional languages for programming real-time systems. We study the requirements of real-time systems in general, outline typical l...
CADE
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We introduce a semantics for classical logic with partial functions. We believe that the semantics is natural. When a formula contains a subterm in which a function is ap...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
Abstract— The “water-filling” solution for the quadratic ratedistortion function of a stationary Gaussian source is given in terms of its power spectrum. This formula natura...
SIAMMA
2010
13 years 2 months ago
2010
Abstract. On product domains, sparse-grid approximation yields optimal, dimension-independent convergence rates when the function that is approximated has L2-bounded mixed derivati...