4894 search results - page 8 / 979 » Choices |
137
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
It is often impossible to obtain a one-size-fits-all solution for high performance algorithms when considering different choices for data distributions, parallelism, transformati...
132
click to vote
WDAG
1992
Springer
15 years 9 months ago
1992
Springer
Abstract. The Choice Coordination Problem with k alternatives (kCCP) was introduced by Rabin in 1982 [Rab82]. The goal is to design a wait-free protocol for n asynchronous processe...
155
click to vote
CADE
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
132
click to vote
INFFUS
2006
15 years 5 months ago
2006
Intelligent agents have to be able to merge informational inputs received from different sources in a coherent and rational way. Several proposals have been made for information m...
120
click to vote
MLQ
2008
15 years 5 months ago
2008
Abstract: Under the axiom of choice, every first countable space is a Fr