21094 search results - page 337 / 4219 » An experiment using DLV-K |
157
click to vote
APVIS
2004
15 years 8 months ago
2004
Online component markets can be costly for consumers to use, in terms of the time and effort spent understanding the components on offer. This cost of understanding will deter con...
161
click to vote
ACL
2001
15 years 8 months ago
2001
In this paper, we propose adding long-term grammatical information in a Whole Sentence Maximun Entropy Language Model (WSME) in order to improve the performance of the model. The ...
146
click to vote
AAAI
2000
15 years 8 months ago
2000
We perform an extensive theoretical and empirical analysis of the use of auxiliary variables and implied constraints in modelling a class of non-binary constraint satisfaction pro...
180
click to vote
ANLP
2000
15 years 8 months ago
2000
This paper proposes a way to improve the translation quality by using information on dialogue participants that is easily obtained from outside the translation component. We incor...
177
click to vote
FTCS
1998
15 years 8 months ago
1998
The traditional use of formal methods has been for the veri cation of algorithms or protocols. Given the high cost and limitations in state space coverage provided by conventional...