3056 search results - page 442 / 612 » Compiling Embedded Languages |
149
click to vote
CADUI
2004
15 years 7 months ago
2004
In this work we report our efforts to facilitate the creation of mixed-initiative conversational interfaces for novice and experienced developers of human language technology. Our ...
159
click to vote
IJCAI
2001
15 years 7 months ago
2001
Recently, several approaches for updating knowledge bases represented as logic programs have been proposed. In this paper, we present a generic framework for declarative specifica...
162
click to vote
IJCAI
2001
15 years 7 months ago
2001
We present an extensive experimental study of consequence-finding algorithms based on kernel resolution, using both a trie-based and a novel ZBDD-based implementation, which uses ...
152
click to vote
AAAI
2000
15 years 7 months ago
2000
We analyze the complexity of propositional kernel resolution (del Val 1999), a general method for obtaining logical consequences in restricted target languages. Different choices ...
160
click to vote
ACL
1997
15 years 7 months ago
1997
In the past the evaluation of machine translation systems has focused on single system evaluations because there were only few systems available. But now there are several commerc...