1712 search results - page 215 / 343 » A Computational Approach to Binding Theory |
120
click to vote
ITP
2010
15 years 4 months ago
2010
We present a new formalization of the algebraic hierarchy in Coq, exploiting its new type class mechanism to make practical a solution formerly thought infeasible. Our approach add...
111
click to vote
WICON
2008
15 years 3 months ago
2008
We consider a pair of nodes with stochastic traffic flows who wish to communicate in a bi-directional communication scenario using intermediate relays in two-hop fashion. Intermed...
128
click to vote
ACL
2001
15 years 3 months ago
2001
Many machine learning methods have recently been applied to natural language processing tasks. Among them, the Winnow algorithm has been argued to be particularly suitable for NLP...
115
click to vote
EFDBS
2003
15 years 3 months ago
2003
Mediators are considered basic architectural units for integration of distributed, heterogeneous information resources. In the paper we propose powerful virtual updateable views as...
110
click to vote
AAMAS
2007
Springer
15 years 2 months ago
2007
Springer
We propose an operational model that combines message meaning and conversational structure in one comprehensive approach. Our long-term research goal is to lay down principles unit...