5964 search results - page 431 / 1193 » A theory of speculative computation |
202
click to vote
FOCM
2011
14 years 11 months ago
2011
The theory of intersection homology was developed to study the singularities of a topologically stratified space. This paper incorporates this theory into the already developed f...
248
click to vote
FOGA
2011
14 years 11 months ago
2011
It was recently proven that sets of points maximizing the hypervolume indicator do not give a good multiplicative approximation of the Pareto front. We introduce a new “logarith...
270
click to vote
CALCO
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. We investigate the phenomenon that every monad is a linear state monad. We do this by studying a fully-complete state-passing translation from an impure call-by-value lan...
231
click to vote
SIGMOD
2012
ACM
13 years 10 months ago
2012
ACM
Data privacy has been an important research topic in the security, theory and database communities in the last few decades. However, many existing studies have restrictive assumpt...
227
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
Cooperative games provide an appropriate framework for fair and stable resource allocation in multiagent systems. This paper focusses on monotone cooperative games, a class which ...