2610 search results - page 354 / 522 » Computational Probabilistic Non-interference |
136
Voted
IDA
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we introduce three alternative combinatorial formulations of the theory of evidence (ToE), by proving that both plausibility and commonality functions share the stru...
150
Voted
LICS
2010
IEEE
15 years 2 months ago
2010
IEEE
—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...
141
Voted
EMNLP
2010
15 years 1 months ago
2010
The computation of meaning similarity as operationalized by vector-based models has found widespread use in many tasks ranging from the acquisition of synonyms and paraphrases to ...
126
Voted
ICIP
2010
IEEE
15 years 1 months ago
2010
IEEE
We propose a novel method to synthesize intermediate views from two stereo images and disparity maps that is robust to errors in disparity map. The proposed method computes a plac...
143
Voted
UIST
2010
ACM
15 years 1 months ago
2010
ACM
An important aspect of making the Web accessible to blind users is ensuring that all important web page elements such as links, clickable buttons, and form fields have explicitly ...