5451 search results - page 441 / 1091 » Typed Operational Semantics |
145
click to vote
EACL
1989
ACL Anthology
15 years 8 months ago
1989
ACL Anthology
This paper shows how higher levels of generalization can be introduced into unification grammars by exploiting methods for typing grammatical objects. We discuss the strategy of u...
174
click to vote
AMAI
2008
Springer
15 years 6 months ago
2008
Springer
Abstract The paper introduces mixed networks, a new graphical model framework for expressing and reasoning with probabilistic and deterministic information. The motivation to devel...
165
click to vote
APAL
2005
15 years 6 months ago
2005
In this paper we consider distributive modal logic, a setting in which we may add modalities, such as classical types of modalities as well as weak forms of negation, to the fragm...
227
click to vote
COLING
2002
15 years 6 months ago
2002
In order to respond correctly to a free form factual question given a large collection of texts, one needs to understand the question to a level that allows determining some of th...
200
click to vote
SISAP
2010
IEEE
15 years 4 months ago
2010
IEEE
The retrieval of videos of interest from large video collections is a main open problem which calls for the definition of new video content characterization techniques in term of ...