12438 search results - page 166 / 2488 » The Magic of a Number System |
IGPL
2002
13 years 8 months ago
2002
This paper generalises and complements the work on combining temporal logics started by Finger and Gabbay [11, 10]. We present proofs of transference of soundness, completeness an...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
Abstract—In this contribution, the performance of a multiuser system is analyzed in the context of frequency selective fading channels. Using game theoretic tools, a useful frame...
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
People-centric urban sensing is a new paradigm gaining popularity. A main obstacle to its widespread deployment and adoption are the privacy concerns of participating individuals. ...
AES
2011
Springer
12 years 8 months ago
2011
Springer
We propose a model for describing and predicting the parallel performance of a broad class of parallel numerical software on distributed memory architectures. The purpose of this ...
ICDAR
2011
IEEE
12 years 8 months ago
2011
IEEE
- Large-scale digitisation has led to a number of new possibilities with regard to adaptive and learning based methods in the field of Document Image Analysis and OCR. For ground t...