3508 search results - page 49 / 702 » Zero-Error Information Theory |
144
click to vote
JELIA
1994
Springer
15 years 5 months ago
1994
Springer
: In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can...
115
click to vote
SIGIR
2010
ACM
15 years 1 months ago
2010
ACM
Recently, Portfolio Theory (PT) has been proposed for Information Retrieval. However, under non-trivial conditions PT violates the original Probability Ranking Principle (PRP). In...
116
click to vote
ENTCS
2011
14 years 8 months ago
2011
The past decade has seen a remarkable resurgence of the old programme of finding more or less a priori axioms for the mathematical framework of quantum mechanics. The new impetus...
119
click to vote
ICTAI
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Combination rules proposed so far in the DempsterShafer theory of evidence, especially Dempster rule, rely on a basic assumption, that is, pieces of evidence being combin...
125
click to vote
MKM
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We have formalized material from an introductory real analysis textbook in the proof assistant Scunak. Scunak is a system based on set theory encoded in a dependent type ...