12373 search results - page 145 / 2475 » Semi-Logarithmic Number Systems |
ICUMT
2009
13 years 8 months ago
2009
Abstract--A new approach to the design of wireless data broadcasting systems is introduced. The proposed approach is based on the mathematical analysis of the aforementioned system...
CVPR
2007
IEEE
15 years 9 days ago
2007
IEEE
In this paper, we present a method for photometric selfcalibration of a projector-camera system. In addition to the input transfer functions (commonly called gamma functions), we ...
PODC
2009
ACM
14 years 11 months ago
2009
ACM
We define and study the bandwidth determination problem in adhoc P2P environments. Using point-to-point bandwidth probes, the goal is to quickly determine each host's upload ...
CAV
2009
Springer
14 years 11 months ago
2009
Springer
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...
CADE
2007
Springer
14 years 10 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...