3207 search results - page 117 / 642 » A Semantics for HTN Methods |
FMCO
2008
Springer
14 years 11 months ago
2008
Springer
This paper is placed in the context of large scale distributed programming, providing a programming model based on asynchronous components. It focuses on the semantics of asynchron...
EACL
2006
ACL Anthology
14 years 11 months ago
2006
ACL Anthology
Probabilistic Latent Semantic Analysis (PLSA) models have been shown to provide a better model for capturing polysemy and synonymy than Latent Semantic Analysis (LSA). However, th...
FMOODS
2006
14 years 11 months ago
2006
In this paper we describe an application of the theory of graph transformations to the practise of language design. In particular, we have defined the static and dynamic semantics ...
FMICS
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. In this paper we propose a certification technique for noninterference of Java programs based on rewriting logic, a very general logical and semantic framework efficientl...
COLING
2008
14 years 11 months ago
2008
In this paper, we propose a data-oriented method for inferring the emotion of a speaker conversing with a dialog system from the semantic content of an utterance. We first fully a...