Sciweavers

5456 search results - page 59 / 1092
» General Equilibrium Theory
Sort
View
CAV
2009
Springer
182views Hardware» more  CAV 2009»
15 years 8 months ago
Generalizing DPLL to Richer Logics
The DPLL approach to the Boolean satisfiability problem (SAT) is a combination of search for a satisfying assignment and logical deduction, in which each process guides the other....
Kenneth L. McMillan, Andreas Kuehlmann, Mooly Sagi...
MANSCI
2007
88views more  MANSCI 2007»
15 years 1 months ago
Resolving Inconsistencies in Utility Measurement Under Risk: Tests of Generalizations of Expected Utility
This paper explores biases in the elicitation of utilities under risk and the contribution that generalizations of expected utility can make to the resolution of these biases. We ...
Han Bleichrodt, Jose Maria Abellan-Perpiñan...
JAIR
2008
135views more  JAIR 2008»
15 years 1 months ago
On Similarities between Inference in Game Theory and Machine Learning
In this paper, we elucidate the equivalence between inference in game theory and machine learning. Our aim in so doing is to establish an equivalent vocabulary between the two dom...
Iead Rezek, David S. Leslie, Steven Reece, Stephen...
130
Voted
BMCBI
2007
169views more  BMCBI 2007»
15 years 1 months ago
Transcriptional regulatory network refinement and quantification through kinetic modeling, gene expression microarray data and i
Background: Gene expression microarray and other multiplex data hold promise for addressing the challenges of cellular complexity, refined diagnoses and the discovery of well-targ...
Abdallah Sayyed-Ahmad, Kagan Tuncay, Peter J. Orto...
ATAL
2010
Springer
15 years 2 months ago
Dependence theory via game theory
In the multi-agent systems community, dependence theory and game theory are often presented as two alternative perspectives on the analysis of social interaction. Up till now no r...
Davide Grossi, Paolo Turrini