999 search results - page 5 / 200 » On the Decidability of Functional Uncertainty |
ISIPTA
1999
IEEE
13 years 11 months ago
1999
IEEE
This paper shows that a "principle of complete ignorance" plays a central role in decisions based on Dempster belief functions. Such belief functions occur when, in a fi...
ITA
2007
13 years 7 months ago
2007
Abstract. Various static analyses of functional programming languages that permit infinite data structures make use of set constants like Top, Inf, and Bot, denoting all terms, al...
ICDT
2003
ACM
14 years 20 days ago
2003
ACM
We study extensions of first-order logic over the reals with different types of transitive-closure operators as query languages for constraint databases that can be described by...
CSFW
2005
IEEE
14 years 1 months ago
2005
IEEE
In the analysis of security protocols, the knowledge of attackers is often described in terms of message deducibility and indistinguishability relations. In this paper, we pursue ...
ADCM
2000
13 years 7 months ago
2000
This paper is on the angle-frequency localization of periodic scaling functions and wavelets. It is shown that the uncertainty products of uniformly local, uniformly regular and u...