443 search results - page 61 / 89 » On The Interpretation Of Natural Language Instructions |
75
Voted
UAIS
2008
14 years 9 months ago
2008
This paper presents the modules that comprise a knowledge-based sign synthesis architecture for Greek sign language (GSL). Such systems combine natural language (NL) knowledge, mac...
DIAGRAMS
2008
Springer
14 years 11 months ago
2008
Springer
We are interested in developing a better understanding of what it is that students find difficult in learning logic. We use both natural language and diagram-based methods for teac...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
COLING
2010
14 years 4 months ago
2010
During face-to-face conversation, people naturally integrate speech, gestures and higher level language interpretations to predict the right time to start talking or to give backc...
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...