Sciweavers

14895 search results - page 2957 / 2979
» Evaluating The Regret System
Sort
View
SAS
2010
Springer
121views Formal Methods» more  SAS 2010»
13 years 7 months ago
Alternation for Termination
Proving termination of sequential programs is an important problem, both for establishing the total correctness of systems and as a component of proving more general termination an...
William R. Harris, Akash Lal, Aditya V. Nori, Srir...
TC
2010
13 years 7 months ago
PERFECTORY: A Fault-Tolerant Directory Memory Architecture
—The number of CPUs in chip multiprocessors is growing at the Moore’s Law rate, due to continued technology advances. However, new technologies pose serious reliability challen...
Hyunjin Lee, Sangyeun Cho, Bruce R. Childers
TCOM
2010
90views more  TCOM 2010»
13 years 7 months ago
Performance Analysis for BICM Transmission over Gaussian Mixture Noise Fading Channels
—Bit-interleaved coded modulation (BICM) has been adopted in many systems and standards for spectrally efficient coded transmission. The analytical evaluation of BICM performanc...
Alireza Kenarsari-Anhari, Lutz H.-J. Lampe
TIFS
2010
173views more  TIFS 2010»
13 years 7 months ago
A hybrid approach for generating secure and discriminating face template
Abstract—Biometric template protection is one of the most important issues in deploying a practical biometric system. To tackle this problem, many algorithms, that do not store t...
Yi C. Feng, Pong C. Yuen, Anil K. Jain
TMC
2010
150views more  TMC 2010»
13 years 7 months ago
Handling Mobility in Wireless Sensor and Actor Networks
— In Wireless Sensor and Actor Networks (WSANs), the collaborative operation of sensors enables the distributed sensing of a physical phenomenon, while actors collect and process...
Tommaso Melodia, Dario Pompili, Ian F. Akyildiz
« Prev « First page 2957 / 2979 Last » Next »