4987 search results - page 34 / 998 » Support Ordered Resolution |
SIGMETRICS
1987
ACM
15 years 5 months ago
1987
ACM
Expressions are found for the throughput and delay performance of a Tree Conflict Resolution Algorithm that is used in a Local Area Network with carrier sensing (and possibly also ...
108
click to vote
CRIWG
2007
15 years 3 months ago
2007
Abstract. This paper describes a groupware prototype addressing the alternative resolution of legal conflicts. The groupware prototype integrates the storytelling and argumentation...
142
click to vote
CIKM
2011
Springer
14 years 1 months ago
2011
Springer
The effectiveness and scalability of MapReduce-based implementations of complex data-intensive tasks depend on an even redistribution of data between map and reduce tasks. In the...
135
click to vote
LFCS
2009
Springer
15 years 8 months ago
2009
Springer
This work defines an extension CERES2 of the first-order cut-elimination method CERES to the subclass of sequent calculus proofs in second-order logic using quantifier-free comp...
113
click to vote
ACL
1998
15 years 3 months ago
1998
A model for reference use in communication is proposed, from a representationist point of view. Both the sender and the receiver of a message handle representations of their commo...