1888 search results - page 256 / 378 » Proof theory and computational analysis |
EACL
1993
ACL Anthology
15 years 3 months ago
1993
ACL Anthology
The paper presents a computational theory for resolving Japanese zero anaphora, based on the notion of discourse segment. We see that the discourse segment reduces the domain of a...
151
Voted
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
Combinatorial auctions have been studied by the multiagent systems community for some time, since these auctions are an effective mechanism for resource allocation when agents are...
175
Voted
IJCV
2002
15 years 1 months ago
2002
Instantaneous camera motion estimation is an important research topic in computer vision. Although in theory more than five points uniquely determine the solution in an ideal situa...
119
click to vote
TON
2002
15 years 1 months ago
2002
Abstract--Research on congestion-control algorithms has traditionally focused more on performance than on robustness of the closed-loop system to changes in network conditions. As ...
122
Voted
ICWSM
2009
14 years 11 months ago
2009
In recent years, we have witnessed a significant growth of "social computing" services, or online communities where users contribute content in various forms, including ...