3119 search results - page 596 / 624 » General Default Logic |
DOLAP
2003
ACM
14 years 3 months ago
2003
ACM
Motivated by the need for more flexible OLAP systems, this paper presents work on logical integration of external data in OLAP databases, carried out in cooperation between the D...
MM
2003
ACM
14 years 3 months ago
2003
ACM
Real-time content-based access to live video data requires content analysis applications that are able to process the video data at least as fast as the video data is made availab...
PLDI
2003
ACM
14 years 3 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
PLDI
2003
ACM
14 years 3 months ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
TLDI
2003
ACM
14 years 3 months ago
2003
ACM
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...