4211 search results - page 397 / 843 » Types as Abstract Interpretations |
213
click to vote
WOA
2010
15 years 4 months ago
2010
In this paper, we present a software framework, called HDS (Heterogeneous Distributed System), that tries to simplify the realization of distributed applications and, in particular...
176
click to vote
ICISS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Tweakable enciphering schemes are a certain type of blockcipher mode of operation which provide security in the sense of a strong pseudo-random permutation. It has been p...
157
click to vote
JCT
2011
15 years 1 months ago
2011
Let W be a finite reflection group. For a given w ∈ W, the following assertion may or may not be satisfied: (∗) The principal Bruhat order ideal of w contains as many elemen...
274
click to vote
ALDT
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. We develop a Bayesian approach to concept learning for crowdsourcing applications. A probabilistic belief over possible concept definitions is maintained and updated acc...
241
click to vote
CALCO
2011
Springer
14 years 6 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...