4502 search results - page 619 / 901 » Regular Model Checking |
171
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: With the ever-increasing number of gene sequences in the public databases, generating and analyzing multiple sequence alignments becomes increasingly time consuming. N...
176
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Haplotypes extracted from human DNA can be used for gene mapping and other analysis of genetic patterns within and across populations. A fundamental problem is, howeve...
159
click to vote
IJNSEC
2008
15 years 6 months ago
2008
The devastating consequence of secret key exposure in digital signature is that any signature can be forged and cannot be trusted. To mitigate the damage of secret key exposure, f...
169
click to vote
JMLR
2008
15 years 6 months ago
2008
Support vector machine (SVM) is one of the most popular and promising classification algorithms. After a classification rule is constructed via the SVM, it is essential to evaluat...
171
click to vote
JIS
2006
15 years 6 months ago
2006
Collaborative tagging describes the process by which many users add metadata in the form of keywords to shared content. Recently, collaborative tagging has grown in popularity on ...