1060 search results - page 63 / 212 » Mechanized semantics |
PPDP
2007
Springer
15 years 3 months ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
SAMT
2007
Springer
15 years 3 months ago
2007
Springer
In this paper, an ontology-driven approach for the semantic analysis of video is proposed. This approach builds on an ontology infrastructure and in particular a multimedia ontolog...
SEMWEB
2007
Springer
15 years 3 months ago
2007
Springer
While the Semantic Web requires a large amount of structured knowledge (triples) to allow machine reasoning, the acquisition of this knowledge still represents an open issue. Indee...
UIC
2007
Springer
15 years 3 months ago
2007
Springer
The paper proposes a novel distributed service discovery method for the pervasive computing environment. The method is based on the concept of small world, policy-based advertiseme...
ICDE
2006
IEEE
15 years 3 months ago
2006
IEEE
Today’s model of networking primarily concentrates intelligence at the end hosts with the network itself offering a simple“best-effort”,“data agnostic” communication med...