Sciweavers

601 search results - page 54 / 121
» Quantified Equality Constraints
Sort
View
CORR
2006
Springer
116views Education» more  CORR 2006»
13 years 9 months ago
Energy Efficiency and Delay Quality-of-Service in Wireless Networks
The energy-delay tradeoffs in wireless networks are studied using a game-theoretic framework. A multi-class multipleaccess network is considered in which users choose their transmi...
Farhad Meshkati, H. Vincent Poor, Stuart C. Schwar...
CORR
2004
Springer
129views Education» more  CORR 2004»
13 years 8 months ago
On Generalized Records and Spatial Conjunction in Role Logic
We have previously introduced role logic as a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of ro...
Viktor Kuncak, Martin C. Rinard
QEST
2008
IEEE
14 years 3 months ago
Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games
We tackle the problem of non robustness of simulation and bisimulation when dealing with probabilistic processes. It is important to ignore tiny deviations in probabilities becaus...
Josée Desharnais, François Laviolett...
VTC
2008
IEEE
162views Communications» more  VTC 2008»
14 years 3 months ago
A Selective Cluster Index Scheduling Method in OFDMA
—OFDM is an attractive solution for the design of future wireless communications due to its robustness to dispersion in multipath environments. Additional diversity gains can be ...
Marios Nicolaou, Angela Doufexi, Simon Armour
AUTOID
2005
IEEE
14 years 2 months ago
Statistical Models for Assessing the Individuality of Fingerprints
Following Daubert in 1993, forensic evidence based on fingerprints was first challenged in the 1999 case of USA vs. Byron Mitchell, and subsequently, in 20 other cases involving...
Sarat C. Dass, Yongfang Zhu, Anil K. Jain