Sciweavers

3207 search results - page 53 / 642
» A Semantics for HTN Methods
Sort
View
FM
2009
Springer
164views Formal Methods» more  FM 2009»
14 years 4 months ago
The Denotational Semantics of slotted-Circus
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked system...
Pawel Gancarski, Andrew Butterfield
GFKL
2005
Springer
128views Data Mining» more  GFKL 2005»
14 years 3 months ago
Automatic Extension of Feature-based Semantic Lexicons via Contextual Attributes
We describe how a feature-based semantic lexicon can be automatically extended using large, unstructured text corpora. Experiments are carried out using the lexicon HaGenLex and th...
Chris Biemann, Rainer Osswald
GI
2004
Springer
14 years 3 months ago
Static Safety Analysis of UML Action Semantics for Critical Systems Development
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
Zsigmond Pap, Dániel Varró
MIE
2008
136views Healthcare» more  MIE 2008»
13 years 11 months ago
Enhancing Knowledge Representations by Ontological Relations
Several medical natural language processing (NLP) systems currently base on ontologies that provide the domain knowledge. But, relationships between concepts defined in ontologies ...
Kerstin Denecke
CIVR
2005
Springer
122views Image Analysis» more  CIVR 2005»
14 years 3 months ago
Semantic Event Detection in Structured Video Using Hybrid HMM/SVM
In this paper, we propose a new semantic event detection algorithm in structured video. A hybrid method that combines HMM with SVM to detect semantic events in video is proposed. T...
Tae Meon Bae, Cheon Seog Kim, Sung Ho Jin, Ki Hyun...