1638 search results - page 245 / 328 » A General Semantics for Evaluation Logic |
CCS
2003
ACM
15 years 5 months ago
2003
ACM
Attacks against Internet routing are increasing in number and severity. Contributing greatly to these attacks is the absence of origin authentication: there is no way to validate ...
135
click to vote
MM
2009
ACM
15 years 4 months ago
2009
ACM
Pervasive multimedia devices require accurate video retargeting, especially in connected consumer electronics platforms. In this paper, we present a context assisted spatialtempor...
BCSHCI
2008
15 years 1 months ago
2008
In this paper, we describe the design and evaluation of SMART, an educational system that uses augmented reality for teaching 2nd grade-level concepts, adequate and integrated wit...
103
click to vote
LREC
2010
15 years 1 months ago
2010
The Internet is an ever growing source of information stored in documents of different languages. Hence, cross-lingual resources are needed for more and more NLP applications. Thi...
ML
2008
ACM
14 years 11 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...