8008 search results - page 307 / 1602 » Computer-Aided Language Processing |
138
click to vote
ACL
1996
15 years 5 months ago
1996
In this paper, we show that Higher-Order Coloured Unification - a form of unification developed for automated theorem proving - provides a general theory for modeling the interfac...
104
click to vote
ACL
1992
15 years 5 months ago
1992
This paper presents an analysis of purpose clauses in the context of instruction understanding. Such analysis shows that goals affect the interpretation and / or execution of acti...
139
click to vote
CLEF
2008
Springer
15 years 5 months ago
2008
Springer
Our first objective in participating in this domain-specific evaluation campaign is to propose and evaluate various indexing and search strategies for the German, English and Russ...
FM
2009
Springer
15 years 10 months ago
2009
Springer
FM
2009
Springer
15 years 10 months ago
2009
Springer