4211 search results - page 455 / 843 » Types as Abstract Interpretations |
162
click to vote
IFIP
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Trust Management is an approach to construct and interpret the trust relationships among public-keys that are used to mediate security-critical actions. Cryptographic cre...
166
click to vote
IJCNLP
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. This paper presents an empirical study on four techniques of language model adaptation, including a maximum a posteriori (MAP) method and three discriminative training mo...
188
click to vote
ISMDA
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The increasing availability of automated data collection tools, database technologies and Information and Communication Technologies in biomedicine and health care have l...
146
click to vote
ISPA
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. There exist numerous algorithms that cluster data-points from largescale genomic experiments such as sequencing, gene-expression and proteomics. Such algorithms may emplo...
158
click to vote
MFCS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We introduce nondeterministic graph searching with a controlled amount of nondeterminism and show how this new tool can be used in algorithm design and combinatorial anal...