2451 search results - page 198 / 491 » The Octagon Abstract Domain |
175
click to vote
DCG
2010
15 years 4 months ago
2010
Abstract. The Topological Radon Theorem states that, for every continuous function from the boundary of a (d + 1)-dimensional simplex into Rn , there exist a pair of disjoint faces...
141
click to vote
SIAMMA
2010
15 years 1 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...
191
click to vote
TASLP
2010
15 years 1 months ago
2010
Abstract--We consider inference in a general data-driven object-based model of multichannel audio data, assumed generated as a possibly underdetermined convolutive mixture of sourc...
177
click to vote
TIM
2010
15 years 1 months ago
2010
Abstract--An approach for the construction of a family of desired order continuous polynomial time window functions is presented without self-convolution of the parent window. The ...
184
click to vote
ICLP
2005
Springer
16 years 20 days ago
2005
Springer
The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the part...