1636 search results - page 64 / 328 » Type-Theoretic Functional Semantics |
126
Voted
KONVENS
1992
15 years 7 months ago
1992
: We consider communication between modules in an integrated architecture for Speech and Natural Language (NL), in particular the communication with the semantics module. In an int...
124
click to vote
ICPR
2004
IEEE
16 years 4 months ago
2004
IEEE
In this paper, a region-based spatio-temporal Markov random field (STMRF) model is proposed to segment moving objects semantically. The STMRF model combines segmentation results o...
101
Voted
CSL
2009
Springer
15 years 10 months ago
2009
Springer
We investigate the relationship between two independently developed termination techniques for rst and higher-order rewrite systems. On the one hand, sized-types based termination...
123
Voted
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
Ontology-based web portal generation and management is an active field of research and development. Recently, many systems have been developed. However, many of them lack the inte...
110
click to vote
SEMWEB
2004
Springer
15 years 9 months ago
2004
Springer
Public deployment of the semantic service matchmaker to a UDDI registry for half a year is shown in this paper. UDDI is a standard registry for Web Services, but if we consider it ...