1364 search results - page 259 / 273 » Comparative Branching-Time Semantics |
MIR
2004
ACM
14 years 25 days ago
2004
ACM
In this paper, we propose an autonomous learning scheme to automatically build visual semantic concept models from the output data of Internet search engines without any manual la...
MM
2004
ACM
14 years 25 days ago
2004
ACM
With the increasing ubiquity of sensors and computational resources, it is becoming easier and increasingly common for people to electronically record, photographs, text, audio, a...
VLDB
2004
ACM
14 years 23 days ago
2004
ACM
Oracle XML DB integrates XML storage and querying using the Oracle relational and object relational framework. It has the capability to physically store XML documents by shredding...
JCDL
2003
ACM
14 years 20 days ago
2003
ACM
The increasing power of techniques to model complex geometry and extract meaning from 3D information create complex data that must be described, stored, and displayed to be useful...
PLDI
2003
ACM
14 years 20 days 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...