1914 search results - page 320 / 383 » Verification by Abstract Interpretation |
DIS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Behavioral sequences of the medaka (Oryzias latipes) were continuously investigated through an automatic image recognition system in response to medaka treated with the i...
IFIP
2005
Springer
14 years 3 months 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...
IJCNLP
2005
Springer
14 years 3 months 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...
ISMDA
2005
Springer
14 years 3 months 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...
ISPA
2005
Springer
14 years 3 months 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...