Sciweavers

18188 search results - page 3616 / 3638
» Evaluation for Collaborative Systems
Sort
View
SAS
2010
Springer
121views Formal Methods» more  SAS 2010»
13 years 8 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 8 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 8 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 8 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
WABI
2010
Springer
167views Bioinformatics» more  WABI 2010»
13 years 8 months ago
Quantifying the Strength of Natural Selection of a Motif Sequence
Quantification of selective pressures on regulatory sequences is a central question in studying the evolution of gene regulatory networks. Previous methods focus primarily on sing...
Chen-Hsiang Yeang
« Prev « First page 3616 / 3638 Last » Next »