Sciweavers

7215 search results - page 1256 / 1443
» Semantic search on the Web
Sort
View
FOSSACS
2005
Springer
16 years 2 days ago
Model Checking for Nominal Calculi
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
ESWS
2010
Springer
15 years 11 months ago
Finding Your Way through the Rijksmuseum with an Adaptive Mobile Museum Guide
Abstract. This paper describes a real-time routing system that implements a mobile museum tour guide for providing personalized tours tailored to the user position inside the museu...
Willem Robert van Hage, Natalia Stash, Yiwen Wang,...
ICPW
2007
15 years 8 months ago
Mind the gap!: Transcending the tunnel view on ontology engineering
The key objective of communal knowledge sharing at the scale of the World Wide Web is the ability to collaborate and integrate within and between communities. Ontologies, being fo...
Pieter De Leenheer, Stijn Christiaens
IJCAI
2007
15 years 8 months ago
A Logical Framework for Modularity of Ontologies
Modularity is a key requirement for collaborative ontology engineering and for distributed ontology reuse on the Web. Modern ontology languages, such as OWL, are logic-based, and ...
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazako...
GISCIENCE
2008
Springer
154views GIS» more  GISCIENCE 2008»
15 years 7 months ago
Ontology-Based Geospatial Data Query and Integration
Geospatial data sharing is an increasingly important subject as large amount of data is produced by variety of sources, stored in incompatible formats, and accessible through diffe...
Tian Zhao, Chuanrong Zhang, Mingzhen Wei, Zhong-Re...
« Prev « First page 1256 / 1443 Last » Next »