3429 search results - page 56 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
ESOP
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
MLCW
2005
Springer
14 years 1 months ago
2005
Springer
Semantic entailment is the problem of determining if the meaning of a given sentence entails that of another. This is a fundamental problem in natural language understanding that ...
APCCM
2009
13 years 9 months ago
2009
Database Semantics (DBS) is a computational model of how communicating with natural language works. at a level of abstraction which may be applied to natural and artificial agents...
ER
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. The modelling of landscape environment is a cognitive activity, that still requires novel kinds of spatial representations. This paper introduces a structural categorisat...
ACL
2011
12 years 11 months ago
2011
This paper presents an attempt at building a large scale distributed composite language model that simultaneously accounts for local word lexical information, mid-range sentence s...