Sciweavers

2920 search results - page 350 / 584
» Finite information logic
Sort
View
EVOW
2010
Springer
15 years 4 months ago
Evolution of Grim Trigger in Prisoner Dilemma Game with Partial Imitation
The emergence of Grim Trigger as the dominant strategy in the Iterated Prisoner Dilemma (IPD) on a square lattice is investigated for players with finite memory, using three differ...
Degang Wu, Mathis Antony, Kwok Yip Szeto
ICGI
2010
Springer
15 years 4 months ago
Exact DFA Identification Using SAT Solvers
Abstract. We present an exact algorithm for identification of deterministic finite automata (DFA) which is based on satisfiability (SAT) solvers. Despite the size of the low level ...
Marijn J. H. Heule, Sicco Verwer
217
Voted
ISAAC
2010
Springer
253views Algorithms» more  ISAAC 2010»
15 years 4 months ago
Solving Two-Stage Stochastic Steiner Tree Problems by Two-Stage Branch-and-Cut
Abstract. We consider the Steiner tree problem under a 2-stage stochastic model with recourse and finitely many scenarios (SSTP). Thereby, edges are purchased in the first stage wh...
Immanuel M. Bomze, Markus Chimani, Michael Jü...
WINE
2010
Springer
144views Economy» more  WINE 2010»
15 years 4 months ago
An Axiomatic Characterization of Continuous-Outcome Market Makers
Abstract. Most existing market maker mechanisms for prediction markets are designed for events with a finite number of outcomes. All known attempts on designing market makers for f...
Xi Alice Gao, Yiling Chen
ICUMT
2009
15 years 4 months ago
Large system analysis of beamforming for MIMO systems with limited training
We consider multiple-input multiple-output (MIMO) systems exploiting the full diversity order of a MIMO fading channel via optimal beamforming and combining. Specifically, an analy...
Francisco Rubio, Dongning Guo, Michael L. Honig, X...