Sciweavers

974 search results - page 116 / 195
» Semantic Announcement Sharing
Sort
View
WADT
2004
Springer
14 years 3 months ago
Type Class Polymorphism in an Institutional Framework
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...
Lutz Schröder, Till Mossakowski, Christoph L&...
CIVR
2008
Springer
221views Image Analysis» more  CIVR 2008»
13 years 11 months ago
Annotation suggestion and search for personal multimedia objects on the web
The number of personal multimedia objects, such as digital photographs and videos, are exploding on the web through popular sites such as Flickr, YouTube, and FaceBook hosting bil...
Brendan Elliott, Z. Meral Özsoyoglu
DGO
2003
128views Education» more  DGO 2003»
13 years 11 months ago
A Study on Automatic Ontology Mapping of Categorical Information
Semantic heterogeneity of information is a major barrier of information and system interoperability. Defining ontology of data and mapping ontologies among heterogeneous informati...
Naijun Zhou
AI
2008
Springer
13 years 10 months ago
Expressive probabilistic description logics
The work in this paper is directed towards sophisticated formalisms for reasoning under probabilistic uncertainty in ontologies in the Semantic Web. Ontologies play a central role...
Thomas Lukasiewicz
JODS
2006
166views Data Mining» more  JODS 2006»
13 years 10 months ago
Model-Driven Ontology Engineering
W3C's Semantic Web provides a common framework that allows data to be shared and reused across application and enterprise. As the Semantic Web shapes the future of the Web, it...
Yue Pan, Guo Tong Xie, Li Ma, Yang Yang, Zhaoming ...