394 search results - page 14 / 79 » An Abstract Domain of Uninterpreted Functions |
ECAI
2008
Springer
15 years 5 days 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...
96
Voted
SFP
2003
14 years 11 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
14 years 11 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
14 years 10 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
14 years 5 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...