Sciweavers

895 search results - page 31 / 179
» Triangulating Topological Spaces
Sort
View
89
Voted
ICALP
2010
Springer
15 years 2 months ago
Noetherian Spaces in Verification
Abstract. Noetherian spaces are a topological concept that generalizes well quasiorderings. We explore applications to infinite-state verification problems, and show how this stimu...
Jean Goubault-Larrecq
114
Voted
COMPGEOM
2003
ACM
15 years 6 months ago
Morse-smale complexes for piecewise linear 3-manifolds
We define the Morse-Smale complex of a Morse function over a 3-manifold as the overlay of the descending and ascending manifolds of all critical points. In the generic case, its ...
Herbert Edelsbrunner, John Harer, Vijay Natarajan,...
106
Voted
MLQ
2010
226views more  MLQ 2010»
14 years 11 months ago
The Ultrafilter Closure in ZF
: It is well known that, in a topological space, the open sets can be characterized using filter convergence. In ZF (Zermelo-Fraenkel set theory without the Axiom of Choice), we c...
Gonçalo Gutierres
JAC
2008
15 years 2 months ago
Topological properties of sand automata as cellular automata
In this paper, we exhibit a strong relation between the sand automata configuration space and the cellular automata configuration space. This relation induces a compact topology f...
Alberto Dennunzio, Pierre Guillon, Benoît Ma...
95
Voted
CAGD
2010
118views more  CAGD 2010»
15 years 24 days ago
Topology of 2D and 3D rational curves
In this paper we present algorithms for computing the topology of planar and space rational curves defined by a parametrization. The algorithms given here work directly with the p...
Juan Gerardo Alcázar, Gema María D&i...