1566 search results - page 129 / 314 » Topological spaces of the web |
153
click to vote
ENTCS
2007
15 years 6 months ago
2007
Escard´o, Hofmann and Streicher showed that real-number computations in the interval-domain environment are inherently parallel, in the sense that they imply the presence of weak...
146
click to vote
AAECC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The paper deals with the question of recognizing the mutual positions of the connected components of a non-singular real projective surface S in the real projective 3-spa...
145
click to vote
TCS
2008
15 years 6 months ago
2008
This is a survey of results about versions of fine hierarchies and many-one reducibilities that appear in different parts of theoretical computer science. These notions and relate...
189
click to vote
CG
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we present a complete computational pipeline for extracting a compact shape descriptor for curve point cloud data. Our shape descriptor, called a barcode, is based ...
145
click to vote
IJBC
2002
15 years 6 months ago
2002
We give a method for finding symbolic dynamics for a planar diffeomorphism with a homoclinic tangle. The method only requires a finite piece of tangle, which can be computed with ...