Sciweavers

269 search results - page 20 / 54
» Axiomatic Digital Topology
Sort
View
SIAMCOMP
2011
14 years 4 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
CCA
2009
Springer
15 years 1 months ago
Effective Choice and Boundedness Principles in Computable Analysis
Abstract. In this paper we study a new approach to classify mathematical theorems according to their computational content. Basically, we are asking the question which theorems can...
Vasco Brattka, Guido Gherardi
ICPR
2006
IEEE
15 years 10 months ago
Atlas-based 3D-Shape Reconstruction from X-Ray Images
In many cases x-ray images are the only basis for surgery planning. Nevertheless it is desirable to draw conclusions about the 3D-anatomy of the patient from such data. This work ...
Hans Lamecker, Hans-Christian Hege, Thomas H. Wenc...
WWW
2006
ACM
15 years 10 months ago
Why is connectivity in developing regions expensive: policy challenges more than technical limitations?
I present analysis examining some of the causes of poor connectivity in developing countries. Based on a technoeconomic analysis and design, I show that technical limitations per ...
Rahul Tongia
TRIDENTCOM
2006
IEEE
15 years 3 months ago
QUETZAL: qualified ultra-wideband testbed for reduced data-rates and location
— This work presents an UWB testbed for reduced data rates with capabilities of measuring range and location. The transmitter uses Time Hopping spread spectrum codes to reduce th...
Antonio Mollfulleda, M. Nájar, P. Miskovsky...