Sciweavers

180 search results - page 19 / 36
» Precise interprocedural analysis using random interpretation
Sort
View
64
Voted
BMCBI
2008
144views more  BMCBI 2008»
14 years 9 months ago
Pep-3D-Search: a method for B-cell epitope prediction based on mimotope analysis
Background: The prediction of conformational B-cell epitopes is one of the most important goals in immunoinformatics. The solution to this problem, even if approximate, would help...
Yanxin Huang, Yongli Bao, Shu Yan Guo, Yan Wang, C...
IJCAI
2003
14 years 11 months ago
Collaborative Filtering Using Associative Neural Memory
There are two types of collaborative filtering (CF) systems, user-based and item-based. This paper introduces an item-based CF system for ranking derived from Linear Associative ...
Chuck P. Lam
PLDI
2010
ACM
15 years 2 months ago
Mixing type checking and symbolic execution
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
Yit Phang Khoo, Bor-Yuh Evan Chang, Jeffrey S. Fos...
GLOBECOM
2007
IEEE
15 years 4 months ago
Performance Analysis of Orthogonal Space Time Block Coding over Hoyt Fading Channels
—In this paper, a novel error probability analysis of orthogonal space-time block coding (OSTBC) over independent but not necessarily identical Hoyt (Nakagami-q) fading channels ...
George A. Ropokis, Athanasios A. Rontogiannis, P. ...
CCS
2008
ACM
14 years 11 months ago
HMAC is a randomness extractor and applications to TLS
In this paper, we study the security of a practical randomness extractor and its application in the tls standard. Randomness extraction is the first stage of key derivation functi...
Pierre-Alain Fouque, David Pointcheval, Séb...