342 search results - page 52 / 69 » Coalgebraic Symbolic Semantics |
SPATIALCOGNITION
2000
Springer
14 years 1 months ago
2000
Springer
We present an approach to spatial inference which is based on the procedural semantics of spatial relations. In contrast to qualitative reasoning, we do not use discrete symbolic m...
PSLS
1995
14 years 1 months ago
1995
Abstract. Lazy task creation (LTC) is an e cient approach for executing divide and conquer parallel programs that has been used in the implementation of Multilisp's future con...
MIE
2008
13 years 11 months ago
2008
Objectives: The aim of this study is to provide to indexers MeSH terms to be considered as major ones in a list of terms automatically extracted from a document. Material and metho...
AAAI
2004
13 years 11 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
COLING
1996
13 years 11 months ago
1996
In this paper we describe a new approach for learning dialog act processing. In this approach we integrate a symbolic semantic segmentation parse,: with a learning dialog act netw...