955 search results - page 109 / 191 » Tractable Temporal Reasoning |
WSC
2001
15 years 1 months ago
2001
Congestion control algorithms, such as TCP or the closelyrelated additive increase-multiplicative decrease algorithms, are extremely difficult to simulate on a large scale. The re...
COLING
1992
15 years 1 months ago
1992
We propose a new method to resolve ambiguity in translation and meaning interpretation using linguistic statistics extracted from dual corpora of sourcu aud target languages in ad...
134
click to vote
KES
2006
Springer
14 years 12 months ago
2006
Springer
We consider a novel class of applications where a set of activities conducted by a group of people over a time period needs to be planned, taking into account each member's p...
ACL
2010
14 years 10 months ago
2010
Substantial research effort has been invested in recent decades into the computational study and automatic processing of multi-party conversation. While most aspects of conversati...
137
click to vote
CHARME
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. We propose new, tractably (in some cases provably) efficient algorithmic methods for exact (sound and complete) parameterized reasoning about cache coherence protocols. F...