Sciweavers

3207 search results - page 61 / 642
» A Semantics for HTN Methods
Sort
View
FAC
2002
104views more  FAC 2002»
13 years 9 months ago
Deep Semantic Links of TCSP and Object-Z: TCOZ Approach
Formal methods can be used in effective combination only if the semantic links between individual methods are clearly established. This paper discusses the semantic design of TCOZ,...
Brendan P. Mahony, Jin Song Dong
CAISE
2004
Springer
14 years 3 months ago
Towards Semantic Service Specification and Discovery
This document presents the research approach of the SEINE project. The goal of the research is to improve the existing methods for service specification and discovery by using onto...
Stanislav Pokraev, Roel Wieringa, Maarten W. A. St...
DEXAW
2007
IEEE
160views Database» more  DEXAW 2007»
14 years 4 months ago
Apolda: A Practical Tool for Semantic Annotation
In this paper we give an overview of methods to find representations of ontology defined concepts in texts. We distinguish two approaches: lexicon-based methods and approaches u...
Christian Wartena, Rogier Brussee, Luit Gazendam, ...
FMCO
2004
Springer
102views Formal Methods» more  FMCO 2004»
14 years 3 months ago
A Fully Abstract Semantics for UML Components
Frank S. de Boer, Marcello M. Bonsangue, Martin St...
ACL
2011
13 years 1 months ago
Fine-Grained Class Label Markup of Search Queries
We develop a novel approach to the semantic analysis of short text segments and demonstrate its utility on a large corpus of Web search queries. Extracting meaning from short text...
Joseph Reisinger, Marius Pasca