2451 search results - page 177 / 491 » The Octagon Abstract Domain |
160
click to vote
JIB
2010
15 years 1 months ago
2010
t techniques to create such a network associated with an abstract cell environment is discussed in order to gain insights into the functional as well as spatial interrelationships....
214
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...
237
click to vote
SDM
2012
SIAM
13 years 9 months ago
2012
SIAM
The Knowledge Discovery Toolbox (KDT) enables domain experts to perform complex analyses of huge datasets on supercomputers using a high-level language without grappling with the ...
271
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
Abstract- IMPrECISE is an XQuery module that adds probabilistic XML functionality to an existing XML DBMS, in our case MonetDBlXQuery. We demonstrate probabilistic XML and data int...
164
click to vote
ALT
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. We give a lower bound for the error of any unitarily invariant algorithm learning half-spaces against the uniform or related distributions on the unit sphere. The bound i...