4 search results - page 1 / 1 » SubPolyhedra: A (More) Scalable Approach to Infer Linear Ine... |
VMCAI
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We introduce Subpolyhedra (SubPoly) a new numerical abstract domain to infer and propagate linear inequalities. SubPoly is as expressive as Polyhedra, but it drops some o...
ISBI
2008
IEEE
14 years 5 months ago
2008
IEEE
Here we present a scalable method to compute the structure of causal links over large scale dynamical systems that achieves high efficiency in discovering actual functional connec...
FOCS
2004
IEEE
13 years 8 months ago
2004
IEEE
Concurrent with recent theoretical interest in the problem of metric embedding, a growing body of research in the networking community has studied the distance matrix defined by n...
TNN
2010
12 years 11 months ago
2010
Abstract--In experimental and observational sciences, detecting atypical, peculiar data from large sets of measurements has the potential of highlighting candidates of interesting ...