6794 search results - page 236 / 1359 » Semantics of Visual Languages |
FORMATS
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...
EACL
2006
ACL Anthology
14 years 5 days ago
2006
ACL Anthology
We propose models for semantic orientations of phrases as well as classification methods based on the models. Although each phrase consists of multiple words, the semantic orienta...
EXPERT
2007
13 years 10 months ago
2007
The full vision of the Semantic Web has yet to be fully accomplished, but there has been considerable progress in the development and use of standards, languages, technologies and ...
APCCM
2009
13 years 12 months ago
2009
Existing HTML mark-up is used only to indicate the structure and lay-out of documents, but not the document semantics. As a result web documents are difficult to be semantically p...
PPDP
2007
Springer
14 years 4 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...