Sciweavers

SIAMCOMP
2011
13 years 6 months ago
The Complexity of Early Deciding Set Agreement
Set agreement, where processors decisions constitute a set of outputs, is notoriously harder to analyze than consensus where the decisions are restricted to a single output. This ...
Eli Gafni, Rachid Guerraoui, Bastian Pochon
SMI
2010
IEEE
159views Image Analysis» more  SMI 2010»
13 years 9 months ago
X-maps: An Efficient Model for Non-manifold Modeling
Abstract--Many representation schemes have been proposed to deal with non-manifold and mixed dimensionalities objects. A majority of those models are based on incidence graphs and ...
David Cazier, Pierre Kraemer
JANCL
2002
90views more  JANCL 2002»
13 years 11 months ago
A Topological Constraint Language with Component Counting
A topological constraint language is a formal language whose variables range over certain subsets of topological spaces, and whose nonlogical primitives are interpreted as topologi...
Ian Pratt-Hartmann
JCSS
2000
92views more  JCSS 2000»
13 years 11 months ago
Querying Spatial Databases via Topological Invariants
The paper investigates the use of topological annotations (called topological invariants) to answer topological queries in spatial databases. The focus is on the translation of to...
Luc Segoufin, Victor Vianu
TIP
2008
116views more  TIP 2008»
13 years 11 months ago
Self-Repelling Snakes for Topology-Preserving Segmentation Models
The implicit framework of the level-set method has several advantages when tracking propagating fronts. Indeed, the evolving contour is embedded in a higher dimensional level-set f...
Carole Le Guyader, Luminita A. Vese
APAL
2005
125views more  APAL 2005»
13 years 11 months ago
Dynamic topological logic
Dynamic Topological Logic provides a context for studying the confluence of the topological semantics for S4, based on topological spaces rather than Kripke frames; topological dy...
Philip Kremer, Grigori Mints
ENTCS
2007
80views more  ENTCS 2007»
13 years 11 months ago
Topological Perspective on the Hybrid Proof Rules
We consider the non-orthodox proof rules of hybrid logic from the viewpoint of topological semantics. Topological semantics is more general than Kripke semantics. We show that the...
Balder ten Cate, Tadeusz Litak
DCG
2007
77views more  DCG 2007»
13 years 11 months ago
Stability of Critical Points with Interval Persistence
Scalar functions defined on a topological space Ω are at the core of many applications such as shape matching, visualization and physical simulations. Topological persistence i...
Tamal K. Dey, Rephael Wenger
CORR
2007
Springer
100views Education» more  CORR 2007»
13 years 11 months ago
The Hadwiger Number of Jordan Regions is Unbounded
We show that for every n > 0 there is a planar topological disk A0 and n translates A1, A2, . . . , An of A0 such that the interiors of A0, . . . An are pairwise disjoint, but ...
Otfried Cheong, Mira Lee
CGF
2006
72views more  CGF 2006»
13 years 11 months ago
GEncode: Geometry-driven compression for General Meshes
Performances of actual mesh compression algorithms vary significantly depending on the type of model it encodes. These methods rely on prior assumptions on the mesh to be efficient...
Thomas Lewiner, Marcos Craizer, Hélio Lopes...