320 search results - page 21 / 64 » An Action Semantics Based on Two Combinators |
DKE
2008
13 years 7 months ago
2008
In this paper, we discuss a novel technique based on semantic constraints to improve the performance and portability of a reformulation-based question answering system. First, we ...
AMAST
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...
CIVR
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The vector-space retrieval model and Latent Semantic Indexing approaches to retrieval have been used heavily in the field of text information retrieval over the past yea...
ICWS
2010
IEEE
13 years 5 months ago
2010
IEEE
WS-Policy is a standard to express requirements and capabilities in Web service systems. Policies are based on domain-specific assertions. In this paper we present a lightweight ap...
ENTCS
2010
13 years 5 months ago
2010
A previously introduced combination of the bialgebraic approach to structural operational semantics with aic modal logic is re-examined and improved in some aspects. Firstly, a mo...