11160 search results - page 2155 / 2232 » Incompleteness in a General Setting |
148
Voted
IANDC
2008
15 years 3 months ago
2008
We are interested in the design of automated procedures for analyzing the (in)security of cryptographic protocols in the Dolev-Yao model for a bounded number of sessions when we t...
129
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: The residue-wise contact order (RWCO) describes the sequence separations between the residues of interest and its contacting residues in a protein sequence. It is a ne...
162
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: Word sense disambiguation (WSD) is critical in the biomedical domain for improving the precision of natural language processing (NLP), text mining, and information ret...
136
Voted
BMCBI
2006
2006
A jumping profile Hidden Markov Model and applications to recombination sites in HIV and HCV genomes
15 years 3 months ago
Background: Jumping alignments have recently been proposed as a strategy to search a given multiple sequence alignment A against a database. Instead of comparing a database sequen...
140
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: Modeling of gene expression data from time course experiments often involves the use of linear models such as those obtained from principal component analysis (PCA), i...