Sciweavers

1512 search results - page 161 / 303
» connection 2006
Sort
View
CORR
2006
Springer
94views Education» more  CORR 2006»
15 years 6 months ago
Epsilon-Unfolding Orthogonal Polyhedra
Abstract. An unfolding of a polyhedron is produced by cutting the surface and flattening to a single, connected, planar piece without overlap (except possibly at boundary points). ...
Mirela Damian, Robin Y. Flatland, Joseph O'Rourke
DCG
2006
78views more  DCG 2006»
15 years 6 months ago
A Geometric Study of the Split Decomposition
This paper sheds a new light on the split decomposition theory and T-theory from the viewpoint of convex analysis and polyhedral geometry. By regarding finite metrics as discrete ...
Hiroshi Hirai
DM
2006
107views more  DM 2006»
15 years 6 months ago
On a new reformulation of Hadwiger's conjecture
Assuming that every proper minor closed class of graphs contains a maximum with respect to the homomorphism order, we prove that such a maximum must be homomorphically equivalent ...
Reza Naserasr, Yared Nigussie
ENTCS
2006
105views more  ENTCS 2006»
15 years 6 months ago
A Game Semantics for Proof Search: Preliminary Results
We describe an ongoing project in which we attempt to describe a neutral approach to proof and refutation. In particular, we present a language of neutral expressions which contai...
Dale Miller, Alexis Saurin
ENTCS
2006
144views more  ENTCS 2006»
15 years 6 months ago
Contorsion: A Semantic XPath Processor
This work describes the architecture of Contorsion, a semantic XPath processor that acts over an RDF mapping of XML. It contributes to a recent research trend that defines an XML-...
Rubén Tous, Jaime Delgado