2395 search results - page 344 / 479 » Reasoning in Semantic Wikis |
144
click to vote
HYBRID
2010
Springer
15 years 10 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
136
click to vote
GIS
2009
ACM
15 years 10 months ago
2009
ACM
Gazetteers are key components of georeferenced information systems, including applications such as Web-based mapping services. Existing gazetteers lack the capabilities to fully i...
132
click to vote
ICECCS
2009
IEEE
15 years 10 months ago
2009
IEEE
OMG’s Model-Driven Architecture (MDA) has emerged as a new approach for the development of software. For this, the Query/View/Transformation (QVT) standard plays a central role,...
131
click to vote
CSL
2009
Springer
15 years 10 months ago
2009
Springer
We define an “enriched effect calculus” by extending a type theory for computational effects with primitives from linear logic. The new calculus, which generalises intuitionis...
149
click to vote
EDBTW
2010
Springer
15 years 10 months ago
2010
Springer
There has been lately an increased activity of publishing structured data in RDF due to the activity of the Linked Data community1 . The presence on the Web of such a huge informa...