Sciweavers

3628 search results - page 212 / 726
» The Decision Diffie-Hellman Problem
Sort
View
WSC
2004
15 years 5 months ago
Multi-Formalism Modeling Approach for Semiconductor Supply/Demand Networks
Building computational models of real world systems usually requires the interaction of decision modules and simulation modules. Given different models and algorithms, the major h...
Gary W. Godding, Hessam S. Sarjoughian, Karl G. Ke...
EOR
2008
88views more  EOR 2008»
15 years 3 months ago
Selection of a correlated equilibrium in Markov stopping games
This paper deals with an extension of the concept of correlated strategies to Markov stopping games. The Nash equilibrium approach to solving nonzero-sum stopping games may give m...
David M. Ramsey, Krzysztof Szajowski
IGPL
2007
107views more  IGPL 2007»
15 years 3 months ago
Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs
This work studies the structure of proofs containing non-analytic cuts in the cut-based system, a sequent inference system in which the cut rule is not eliminable and the only bra...
Marcelo Finger, Dov M. Gabbay
ETS
2000
IEEE
126views Hardware» more  ETS 2000»
15 years 3 months ago
Different (Key)strokes for Different Folks: Designing online venues for professional communities
Educational on-line resources are expanding in their application beyond delivering courses to providing venues in which members of professional communities of practice meet to exc...
Liwana S. Bringelson, Tom Carey
JAMDS
2000
90views more  JAMDS 2000»
15 years 3 months ago
Stratified filtered sampling in stochastic optimization
We develop a methodology for evaluating a decision strategy generated by a stochastic optimization model. The methodology is based on a pilot study in which we estimate the distri...
Robert Rush, John M. Mulvey, John E. Mitchell, Tho...