1914 search results - page 44 / 383 » Abstract lambda-Calculus Machines |
105
click to vote
TCS
2012
13 years 7 months ago
2012
Abstract. The standard simulation of a nondeterministic Turing machine (NTM) by a deterministic one essentially searches a large boundeddegree graph whose size is exponential in th...
BIOADIT
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Developmental biology requires three principles of organization characteristic of living organisms: multicellular architecture, cellular division, and cellular differenti...
SFP
2004
15 years 1 months ago
2004
: In previous work we showed how to verify a compiler for a small language with exceptions. In this article we show how to calculate, as opposed to an abstract machine for this lan...
111
click to vote
SEC
2003
15 years 1 months ago
2003
Abstract This paper presents a systematic approach to developing Java Card applets and/or formal specifications for them, starting from descriptions in the form of finite state m...
AAAI
1998
15 years 1 months ago
1998
A key problem in text summarization is finding a salience function which determines what information in the source should be included in the summary. This paper describes the use ...