1889 search results - page 39 / 378 » An Abstract Machine for Oz |
SFP
2004
15 years 3 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...
127
click to vote
SEC
2003
15 years 3 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...
105
click to vote
AAAI
1998
15 years 3 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 ...
110
click to vote
PAA
2006
15 years 1 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...
117
click to vote
TSMC
2008
15 years 1 months ago
2008
Abstract--Practical applications call for efficient model selection criteria for multiclass support vector machine (SVM) classification. To solve this problem, this paper develops ...