9873 search results - page 1611 / 1975 » Emergent Semantics Systems |
234
Voted
POPL
2012
ACM
14 years 3 months ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
215
Voted
CVPR
2008
IEEE
16 years 9 months ago
2008
IEEE
This paper presents an approach to extracting and using semantic layers from low altitude aerial videos for scene understanding and object tracking. The input video is captured by...
363
Voted
POPL
2004
ACM
16 years 8 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
242
Voted
PLDI
2010
ACM
16 years 5 months ago
2010
ACM
An ad hoc data format is any non-standard, semi-structured data format for which robust data processing tools are not available. In this paper, we present ANNE, a new kind of mark...
233
Voted
SOSP
2003
ACM
16 years 4 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...