Sciweavers

1802 search results - page 4 / 361
» Complexity Theory for Operators in Analysis
Sort
View
ICFP
2007
ACM
14 years 8 months ago
Relating complexity and precision in control flow analysis
We analyze the computational complexity of kCFA, a hierarchy of control flow analyses that determine which functions may be applied at a given call-site. This hierarchy specifies ...
David Van Horn, Harry G. Mairson
ICANN
2009
Springer
14 years 1 months ago
Structural Analysis on STDP Neural Networks Using Complex Network Theory
Hideyuki Kato, Tohru Ikeguchi, Kazuyuki Aihara
COMPGEOM
2007
ACM
14 years 14 days ago
On the hardness of minkowski addition and related operations
For polytopes P, Q Rd we consider the intersection P Q; the convex hull of the union CH(P Q); and the Minkowski sum P + Q. We prove that given rational H-polytopes P1, P2, Q it...
Hans Raj Tiwary
COMPGEOM
2004
ACM
14 years 2 months ago
Inner and outer rounding of set operations on lattice polygonal regions
Robustness problems due to the substitution of the exact computation on real numbers by the rounded floating point arithmetic are often an obstacle to obtain practical implementa...
Olivier Devillers, Philippe Guigue