Sciweavers

577 search results - page 99 / 116
» On Capturing Semantics in Ontology Mapping
Sort
View
ATVA
2011
Springer
213views Hardware» more  ATVA 2011»
13 years 9 months ago
Max and Sum Semantics for Alternating Weighted Automata
Abstract. In the traditional Boolean setting of formal verification, alternating automata are the key to many algorithms and tools. In this setting, the correspondence between dis...
Shaull Almagor, Orna Kupferman
MDM
2004
Springer
158views Communications» more  MDM 2004»
15 years 3 months ago
Semantic Location Modeling for Location Navigation in Mobile Environment
Location-based applications require a well-formed representation of spatial knowledge. Current location models can be classified into symbolic or geometric models. The former att...
Haibo Hu, Dik Lun Lee
BMCBI
2008
147views more  BMCBI 2008»
14 years 9 months ago
Assessment of disease named entity recognition on a corpus of annotated sentences
Background: In recent years, the recognition of semantic types from the biomedical scientific literature has been focused on named entities like protein and gene names (PGNs) and ...
Antonio Jimeno-Yepes, Ernesto Jiménez-Ruiz,...
CORR
2011
Springer
185views Education» more  CORR 2011»
14 years 4 months ago
Sound and Complete Query Answering in Intensional P2P Data Integration
Contemporary use of the term ’intension’ derives from the traditional logical doctrine that an idea has both an extension and an intension. In this paper we introduce an intens...
Zoran Majkic
SOCA
2007
IEEE
15 years 4 months ago
Structure Matching for Enhancing UDDI Queries Results
To enhance UDDI query capability, typically based on taxonomic classification, semantic matching is assuming a key role. Even if we recognize the great importance of semantics in ...
Giancarlo Tretola, Eugenio Zimeo