2661 search results - page 53 / 533 » A Semantics for Abstraction |
146
click to vote
POPL
1997
ACM
15 years 9 months ago
1997
ACM
Defining the collecting semantics is usually the first crucial step in adapting the general methodology of abstract interpretation to the semantic framework or programming languag...
162
click to vote
ICTAI
2007
IEEE
16 years 17 days ago
2007
IEEE
Abstract—The integration of semantic representation and retrieval technologies into mainstream web applications depends on the ease of adoption and re-use of existing information...
153
click to vote
FOSSACS
2004
Springer
15 years 11 months ago
2004
Springer
We describe a game semantics for local names in a functional setting. It is based on a category of dialogue games acted upon by the automorphism group of the natural numbers; this ...
159
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We introduce an ontology-based semantic modelling framework that addresses subject domain modelling, instruction modelling, and interoperability aspects in the developmen...
234
click to vote
ESWS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Semantic Wikis have demonstrated the power of combining Wikis with Semantic Web technology. The KiWi system goes beyond Semantic Wikis by providing a flexible and adapta...