248 search results - page 43 / 50 » Sublocales in formal topology |
131
Voted
IMC
2010
ACM
14 years 11 months ago
2010
ACM
Network tomography establishes linear relationships between the characteristics of individual links and those of end-toend paths. It has been proved that these relationships can b...
104
Voted
CORR
2011
Springer
14 years 5 months ago
2011
Springer
Many applications, including provenance and some analyses of social networks, require path-based queries over graphstructured data. When these graphs contain sensitive information...
169
Voted
COMPGEOM
2011
ACM
14 years 5 months ago
2011
ACM
We present a clustering scheme that combines a mode-seeking phase with a cluster merging phase in the corresponding density map. While mode detection is done by a standard graph-b...
119
click to vote
COMPGEOM
1997
ACM
15 years 6 months ago
1997
ACM
Abstract. In the context of methodologies intended to confer robustness to geometric algorithms, we elaborate on the exact-computation paradigm and formalize the notion of degree o...
137
click to vote
FORMATS
2006
Springer
15 years 5 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...