Sciweavers

1289 search results - page 152 / 258
» Semantic Annotations for WS-Policy
Sort
View
WEBI
2005
Springer
15 years 9 months ago
The WebCAT Framework - Automatic Generation of Meta-Data for Web Resources
Automated methods for resource annotation are a clear necessity, as the success of the Semantic Web depends on the availability of Web resources with meta-data conforming to known...
Bruno Martins, Mário J. Silva
SAS
1994
Springer
104views Formal Methods» more  SAS 1994»
15 years 8 months ago
Strictness and Totality Analysis
We definea novelinference systemfor strictness andtotality analysisfor the simplytyped lazy lambda-calculus with constants and fixpoints. Strictness information identifies those t...
Kirsten Lackner Solberg
DLOG
2007
15 years 6 months ago
Induction of Optimal Semi-distances for Individuals based on Feature Sets
Abstract. Many activities related to semantically annotated resources can be enabled by a notion of similarity among them. We propose a method for defining a family of semi-distan...
Nicola Fanizzi, Claudia d'Amato, Floriana Esposito
IJCAI
2007
15 years 5 months ago
Word Sense Disambiguation with Spreading Activation Networks Generated from Thesauri
Most word sense disambiguation (WSD) methods require large quantities of manually annotated training data and/or do not exploit fully the semantic relations of thesauri. We propos...
George Tsatsaronis, Michalis Vazirgiannis, Ion And...
CORR
2010
Springer
129views Education» more  CORR 2010»
15 years 3 months ago
sTeXIDE: An Integrated Development Environment for sTeX Collections
Authoring documents in MKM formats like OMDoc is a very tedious task. After years of working on a semantically annotated corpus of STEX documents (GenCS), we identified a set of co...
Constantin Jucovschi, Michael Kohlhase