430 search results - page 13 / 86 » Statistical Certification of Software Systems |
154
click to vote
HT
2009
ACM
16 years 19 days ago
2009
ACM
Folksonomies provide a rich source of data to study social patterns taking place on the World Wide Web. Here we study the temporal patterns of users’ tagging activity. We show t...
180
Voted
TCOM
2010
15 years 25 days ago
2010
Abstract--This paper provides a systematic mutual information (MI) and multichannel beamforming (MBF) characterization of optimized multiple-input multiple-output (MIMO) communicat...
181
Voted
BMCBI
2008
15 years 6 months ago
2008
Background: As in many different areas of science and technology, most important problems in bioinformatics rely on the proper development and assessment of binary classifiers. A ...
136
Voted
SIGIR
2006
ACM
16 years 2 days ago
2006
ACM
We consider the problem of large-scale retrieval evaluation, and we propose a statistical method for evaluating retrieval systems using incomplete judgments. Unlike existing techn...
167
Voted
SEDE
2010
15 years 4 months ago
2010
Security certification assesses the security posture of a software system to verify its compliance with diverse, pre-specified security controls identified by guidelines from NIST...