950 search results - page 106 / 190 » Machine semantics |
156
click to vote
SOSP
2003
ACM
16 years 1 months ago
2003
ACM
We present a flexible architecture for trusted computing, called Terra, that allows applications with a wide range of security requirements to run simultaneously on commodity har...
128
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...
125
click to vote
ML
2008
ACM
15 years 4 months ago
2008
ACM
Call-by-value languages commonly restrict recursive definitions by only allowing functions and syntactically explicit values in the right-hand sides. As a consequence, some very a...
128
click to vote
SAMT
2007
Springer
15 years 10 months ago
2007
Springer
—Broadcasting of media events is a real-time action demanding reliable just in time decisions based on the current content of incoming video streams and the availability of backg...
107
click to vote
AIED
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper addresses the ongoing discussion on influencing factors of automatic essay scoring with latent semantic analysis (LSA). Throughout this paper, we contribute to...