31387 search results - page 40 / 6278 » Abstracting abstract machines |
BIOADIT
2006
Springer
14 years 1 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
13 years 11 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...
SEC
2003
13 years 11 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
13 years 11 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 ...
PAA
2006
13 years 9 months ago
2006
Abstract Given the importance of implicit communication in human interactions, it would be valuable to have this capability in robotic systems wherein a robot can detect the motiva...