1914 search results - page 48 / 383 » Abstract lambda-Calculus Machines |
CIT
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. In this paper we introduce BioPubMiner, a machine learning component-based platform for biomedical information analysis. BioPubMiner employs natural language processing t...
TVLSI
2008
14 years 9 months ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
DALT
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Agent interaction protocols are usually speciļ¬ed in terms of permissible sequences of messages. This representation is, unfortunately, brittle and does not allow for ļ¬...
GRC
2007
IEEE
14 years 11 months ago
2007
IEEE
Abstractā Rough support vector machines (RSVMs) supplement conventional support vector machines (SVMs) by providing a better representation of the boundary region. Increasing int...
BMCBI
2008
14 years 10 months ago
2008
Background: Synthesis of data from published human genetic association studies is a critical step in the translation of human genome discoveries into health applications. Although...