Sciweavers

5158 search results - page 26 / 1032
» Generalization of the Dempster-Shafer Theory
Sort
View

Lecture Notes
2754views
15 years 5 months ago
Advanced Microeconomic Theory
These lecture notes cover several topics such as Preliminaries on Modern Economics and Mathematics, Consumer Theory, Production Theory, Choice Under Uncertainty, Game Theory, Theor...
Guoqiang Tian
FMCAD
2009
Springer
13 years 11 months ago
Generalized, efficient array decision procedures
Abstract--The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic array theory was introduced by McCarthy and allow...
Leonardo Mendonça de Moura, Nikolaj Bj&osla...
IANDC
2007
96views more  IANDC 2007»
13 years 7 months ago
A general mathematics of names
We introduce FMG (Fraenkel-Mostowski Generalised) set theory, a generalisation of FM set theory which allows binding of infinitely many names instead of just finitely many names...
Murdoch Gabbay
POPL
2012
ACM
12 years 3 months ago
A type theory for probability density functions
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
Sooraj Bhat, Ashish Agarwal, Richard W. Vuduc, Ale...
AML
2006
76views more  AML 2006»
13 years 7 months ago
There is no ordering on the classes in the generalized high/low hierarchies
We prove that the existential theory of the Turing degrees, in the language with Turing reduction, 0, and unary relations for the classes in the generalized high/low hierarchy, is ...
Antonio Montalbán