Sciweavers

2612 search results - page 297 / 523
» Semantic Attention Management
Sort
View
IFM
2010
Springer
205views Formal Methods» more  IFM 2010»
15 years 4 months ago
Adding Change Impact Analysis to the Formal Verification of C Programs
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
Serge Autexier, Christoph Lüth
IFIP12
2009
15 years 4 months ago
Visualizing RDF Documents
The Semantic Web (SW) is an extension to the current Web, enhancing the available information with semantics. RDF, one of the most prominent standards for representing meaning in t...
Aris Athanassiades, Efstratios Kontopoulos, Nick B...
SEMWEB
2007
Springer
16 years 25 days ago
Analyzing Mapping Extraction Approaches
While lots of research in ontology matching is related to the issue of computing and refining similarity measures, only little attention has been paid to question how to extract t...
Christian Meilicke, Heiner Stuckenschmidt
NAACL
2003
15 years 8 months ago
Monolingual and Bilingual Concept Visualization from Corpora
e by placing terms in an abstract ‘information space’ based on their occurrences in text corpora, and then allowing a user to visualize local regions of this information space....
Dominic Widdows, Scott Cederberg
BMCBI
2008
147views more  BMCBI 2008»
15 years 6 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,...