3392 search results - page 137 / 679 » Using Knowledge Representation to Understand Interactive Sys... |
117
Voted
AAAI
1994
15 years 5 months ago
1994
This research explores the interaction of textual and photographic information in document understanding. The problem of performing generalpurpose vision without apriori knowledge...
122
Voted
CICLING
2009
Springer
16 years 4 months ago
2009
Springer
This paper presents a method for improving phrase-based Statistical Machine Translation systems by enriching the original translation model with information derived from a multilin...
105
Voted
CAV
2008
Springer
15 years 5 months ago
2008
Springer
We describe Thor (Tool for Heap-Oriented Reasoning), a tool based on separation logic that is capable of reasoning automatically about heap-manipulating programs. There are several...
93
Voted
ACL
1992
15 years 4 months ago
1992
The IDAS natural-language generation system uses a KL-ONE type classifier to perform content determination, surface realisation, and part of text planning. Generation-by-classific...
113
Voted
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
We present an argumentation-based formalism that an agent could use for constructing plans. We will analyze the interaction of arguments and actions when they are combined to cons...