481 search results - page 40 / 97 » The World and the Machine |
ENTCS
2002
14 years 11 months ago
2002
Call-by-push-value is a "semantic machine code", providing a set of simple primitives from which both the call-by-value and call-by-name paradigms are built. We present i...
ZUM
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
LREC
2010
15 years 20 days ago
2010
We created a simple gold standard for English-Hungarian NP-level alignment, Orwell's 1984 by manually verifying the automatically generated NP chunking and manually aligning ...
LREC
2010
15 years 20 days ago
2010
This paper describes a new language resource of events and semantic roles that characterize real-world situations. Narrative schemas contain sets of related events (edit and publi...
KCAP
2003
ACM
15 years 4 months ago
2003
ACM
One of the long-term goals of Artificial Intelligence is construction of a machine that is capable of reasoning about the everyday world the way humans are. In this paper, I fir...