Search Sciweavers | Sciweavers

3342 search results - page 48 / 669

» Automating Abstract Interpretation

click to vote

ATAL
2006
Springer

97views Intelligent Agents» more ATAL 2006»

A Texas Hold'em poker player based on automated abstraction and real-time equilibrium computation

15 years 6 months ago

Download www.cs.cmu.edu

Andrew Gilpin, Tuomas Sandholm

claim paper

Read More »

click to vote

AAAI
2007

64views Intelligent Agents» more AAAI 2007»

Potential-Aware Automated Abstraction of Sequential Games, and Holistic Equilibrium Analysis of Texas Hold'em Poker

15 years 4 months ago

Download www.cs.cmu.edu

Andrew Gilpin, Tuomas Sandholm, Troels Bjerre S&os...

claim paper

Read More »

click to vote

CAV
2008
Springer

112views Hardware» more CAV 2008»

Automated Assume-Guarantee Reasoning by Abstraction Refinement

15 years 4 months ago

Download ti.arc.nasa.gov

Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dim...

claim paper

Read More »

click to vote

AAAI
2010

151views Intelligent Agents» more AAAI 2010»

Automated Channel Abstraction for Advertising Auctions

15 years 3 months ago

Download www.cs.cmu.edu

William E. Walsh, Craig Boutilier, Tuomas Sandholm...

claim paper

Read More »

169

click to vote

DSML
2008

160views Formal Methods» more DSML 2008»

Towards Automated Testing of Abstract Syntax Specifications of Domain-Specific Modeling Languages

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers