Sciweavers

5671 search results - page 649 / 1135
» A Semantic Approach to Interpolation
Sort
View
NOMS
2010
IEEE
195views Communications» more  NOMS 2010»
15 years 5 months ago
Using linked data for systems management
—Integration of data from multiple sources makes it possible to build effective systems management solutions. Despite the expected benefits, data integration remains a challenge....
Metin Feridun, Axel Tanner
ACMSE
2010
ACM
15 years 5 months ago
Pattern-based synonym and antonym extraction
Many research studies adopt manually selected patterns for semantic relation extraction. However, manually identifying and discovering patterns is time consuming and it is difficu...
Wenbo Wang, Christopher Thomas, Amit P. Sheth, Vic...
IFM
2010
Springer
205views Formal Methods» more  IFM 2010»
15 years 5 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
LICS
2010
IEEE
15 years 5 months ago
A Sound and Complete Calculus for Finite Stream Circuits
Stream circuits are a convenient graphical way to represent streams (or stream functions) computed by finite dimensional linear systems. We present a sound and complete expression...
Stefan Milius
NLDB
2010
Springer
15 years 5 months ago
Sense-Based Biomedical Indexing and Retrieval
This paper tackles the problem of term ambiguity, especially for biomedical literature. We propose and evaluate two methods of Word Sense Disambiguation (WSD) for biomedical terms ...
Ba-duy Dinh, Lynda Tamine