1917 search results - page 45 / 384 » The York Abstract Machine |
INFORMATICALT
2010
13 years 5 months ago
2010
The Turing machine is one of the simple abstract computational devices that can be used to investigate the limits of computability. In this paper, they are considered from several ...
FINTAL
2006
13 years 11 months ago
2006
Abstract. This paper presents a machine learning approach for paraphrase identification which uses lexical and semantic similarity information. In the experimental studies, we exam...
CIT
2004
Springer
13 years 11 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
13 years 7 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
14 years 1 months ago
2004
Springer
Abstract. Agent interaction protocols are usually specified in terms of permissible sequences of messages. This representation is, unfortunately, brittle and does not allow for ...