2145 search results - page 322 / 429 » Lax Logical Relations |
ACL
1989
13 years 9 months ago
1989
The logic behind parsers for categorial grammars can be formalized in several different ways. Lambek Calculus (LC) constitutes an example for a natural deduction 1 style parsing m...
AAAI
1990
13 years 9 months ago
1990
Joint action by a team does not consist merely of simultaneous and coordinated individual actions; to act together, a team must be aware of and care about the status of the group ...
COLING
1992
13 years 9 months ago
1992
We propose a new method to resolve ambiguity in translation and meaning interpretation using linguistic statistics extracted from dual corpora of sourcu aud target languages in ad...
CONCUR
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. An impure language is one that combines functional and imperative constructs. We propose a method for ensuring termination of impure concurrent languages that makes it po...
AEI
2007
13 years 8 months ago
2007
: An implicit human-machine interaction communication framework that is sensitive to human affective states is presented. The overall goal is to achieve detection and recognition o...