2395 search results - page 317 / 479 » Reasoning in Semantic Wikis |
138
click to vote
ACSD
2007
IEEE
15 years 10 months ago
2007
IEEE
Signal Transition Graphs (STG) are a formalism for the description of asynchronous circuit behaviour. In this paper we propose (and justify) a formal semantics of nondeterministic...
109
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...
108
click to vote
CSL
2007
Springer
15 years 10 months ago
2007
Springer
We give a fully abstract game model for Idealized Algol with non-local control flow. In contrast to most previous papers on game semantics, we do not need to include the bad-varia...
139
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
Ontologies play a core role in the success of the Semantic Web as they provide a shared vocabulary for different resources and applications. Developing an error-free ontology is a...
130
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
Many enterprise systems face the same kind of information processing problems that exist on the web in general, and creating semantic solutions often involve constructing an enterp...