Sciweavers

3321 search results - page 550 / 665
» The Future of Knowledge Representation
Sort
View
FM
2003
Springer
169views Formal Methods» more  FM 2003»
14 years 1 months ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang
ESWS
2010
Springer
14 years 19 days ago
Reactive Policies for the Semantic Web
Semantic Web policies are general statements defining the behavior of a system that acts on behalf of real users. These policies have various applications ranging from dynamic age...
Piero A. Bonatti, Philipp Kärger, Daniel Olme...
ESWS
2010
Springer
14 years 19 days ago
Leveraging Terminological Structure for Object Reconciliation
Abstract. It has been argued that linked open data is the major benefit of semantic technologies for the web as it provides a huge amount of structured data that can be accessed i...
Jan Noessner, Mathias Niepert, Christian Meilicke,...
ICWE
2010
Springer
14 years 18 days ago
A Flexible Rule-Based Method for Interlinking, Integrating, and Enriching User Data
Many Web applications provide personalized and adapted services and contents to their users. As these Web applications are becoming increasingly connected, a new interesting challe...
Erwin Leonardi, Fabian Abel, Dominik Heckmann, Eel...
GI
2009
Springer
14 years 13 days ago
Area Preserving Parameterisation of Shapes with Spherical Topology
: Statistical shape models are powerful tools for model-based segmentation and have been sucessfully applied to the segmentation of various structures in medical images. Though the...
Matthias Kirschner, Stefan Wesarg