2182 search results - page 150 / 437 » A pretopological approach for structural analysis |
SODA
1997
ACM
14 years 11 months ago
1997
ACM
Given a collection S of n line segments in the plane, the planar point location problem is to construct a data structure that can e ciently determine for a given query point p the...
FOCS
2002
IEEE
15 years 3 months ago
2002
IEEE
We obtain a near-tight bound of O(n3+ε ), for any ε > 0, on the complexity of the overlay of the minimization diagrams of two collections of surfaces in four dimensions. This...
DAGSTUHL
2006
14 years 11 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
BMCBI
2004
14 years 10 months ago
2004
Background: Metabolic pathway analysis has been recognized as a central approach to the structural analysis of metabolic networks. The concept of elementary (flux) modes provides ...
ICIP
2003
IEEE
15 years 11 months ago
2003
IEEE
The ability to automatically detect `visually interesting' regions in an image has many practical applications especially in the design of active machine vision systems. This...