6608 search results - page 1260 / 1322 » On the Completeness of Model Checking |
161
Voted
AVI
2010
15 years 1 months ago
2010
The procedures to collect information about users are well known in computer science till long time. They range from getting explicit information from users, required in order to ...
154
Voted
CCS
2010
ACM
15 years 9 days ago
2010
ACM
Cryptographic systems and protocols are the core of many Internet security procedures (such as SSL, SSH, IPSEC, DNSSEC, secure mail, etc.). At the heart of all cryptographic funct...
179
Voted
CVPR
2011
IEEE
15 years 1 months ago
2011
IEEE
Portable high-quality sports cameras (e.g. head or helmet mounted) built for recording dynamic first-person video footage are becoming a common item among many sports enthusiasts...
138
Voted
BMCBI
2011
14 years 10 months ago
2011
Background: Alternative splicing (AS) is a process which generates several distinct mRNA isoforms from the same gene by splicing different portions out of the precursor transcript...
189
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Historical linguistics aims at inferring the most likely language phylogenetic tree starting from information concerning the evolutionary relatedness of languages. The available i...