5158 search results - page 233 / 1032 » Generalization of the Dempster-Shafer Theory |
179
click to vote
TIT
2008
15 years 5 months ago
2008
Abstract--Discrete-input two-dimensional (2-D) Gaussian channels with memory represent an important class of systems, which appears extensively in communications and storage. In sp...
140
click to vote
TOPLAS
2008
15 years 5 months ago
2008
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
159
click to vote
PPDP
2010
Springer
15 years 5 months ago
2010
Springer
Permissive-Nominal Logic (PNL) is an extension of firstorder logic where term-formers can bind names in their arguments. This allows for direct axiomatisations with binders, such...
196
click to vote
HT
2010
ACM
15 years 4 months ago
2010
ACM
In this paper we consider provenance modelling in Adaptive Hypermedia Systems (AHS). We revisit adaptation and data provenance questions and bring up new and complementary aspects...
162
click to vote
WCET
2010
15 years 4 months ago
2010
This paper considers the use of Extreme Value Theory (EVT) to model worst-case execution times. In particular it considers the sacrifice that statistical methods make in the reali...