89 search results - page 3 / 18 » Located Sets and Reverse Mathematics |
APAL
2010
13 years 7 months ago
2010
First order reasoning about hyperintegers can prove things about sets of integers. In the author's paper Nonstandard Arithmetic and Reverse Mathematics, Bulletin of Symbolic L...
MICCAI
2006
Springer
14 years 8 months ago
2006
Springer
Cephalometric analysis of lateral radiographs of the head is an important diagnosis tool in orthodontics. Based on manually locating specific landmarks, it is a tedious, time-consu...
VTC
2006
IEEE
14 years 1 months ago
2006
IEEE
— This paper focuses on the modelling of the reverse link of a WCDMA system in a non-homogeneous environment. Multiple traffic spatial and service non-uniformities are considered...
AML
2007
13 years 7 months ago
2007
Abstract. This research is motivated by the program of Reverse Mathematics. We investigate basic part of complex analysis within some weak subsystems of second order arithmetic, in...
PODC
2005
ACM
14 years 1 months ago
2005
ACM
In this paper, we initiate the study of the approximability of the facility location problem in a distributed setting. In particular, we explore a trade-off between the amount of...