5550 search results - page 754 / 1110 » Different Approaches to Proof Systems |
172
click to vote
ACL
2004
15 years 8 months ago
2004
Supervised learning methods for WSD yield better performance than unsupervised methods. Yet the availability of clean training data for the former is still a severe challenge. In ...
179
click to vote
ACL
2006
15 years 8 months ago
2006
We present an automatic approach to tree annotation in which basic nonterminal symbols are alternately split and merged to maximize the likelihood of a training treebank. Starting...
160
click to vote
CLIMA
2004
15 years 8 months ago
2004
We discuss some features of the new logic programming language DALI for agents and multi-agent systems. In particular, we aim at illustrating the treatment of proactivity, which is...
173
click to vote
FLAIRS
2004
15 years 8 months ago
2004
A reversible outcome is one that can be changed. For example, the failure of an ongoing project may be avoided if certain actions are taken, while an outcome such as the path of a...
221
click to vote
ICWS
2004
IEEE
15 years 8 months ago
2004
IEEE
The fundamental challenge of e-commerce is enabling companies to do business with one another across a network, despite different business processes and computer systems. Traditio...