Sciweavers

4719 search results - page 807 / 944
» Applications = Components GLoo
Sort
View
ATAL
2008
Springer
15 years 4 months ago
A heads-up no-limit Texas Hold'em poker player: discretized betting models and automatically generated equilibrium-finding progr
We present Tartanian, a game theory-based player for headsup no-limit Texas Hold'em poker. Tartanian is built from three components. First, to deal with the virtually infinit...
Andrew Gilpin, Tuomas Sandholm, Troels Bjerre S&os...
108
Voted
ATAL
2008
Springer
15 years 4 months ago
Methods for complex single-mind architecture designs
The implementation of software systems with large numbers of heterogeneous components calls for a powerful design methodology. Although several such methodologies have been propos...
Kristinn R. Thórisson, Gudny Ragna Jonsdott...
ATVA
2008
Springer
102views Hardware» more  ATVA 2008»
15 years 4 months ago
Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions
The evaluation of successor or predecessor state spaces through time progress is a central component in the model-checking algorithm of dense-time automata. The definition of the t...
Farn Wang
135
Voted
BPM
2008
Springer
155views Business» more  BPM 2008»
15 years 4 months ago
The Refined Process Structure Tree
Abstract. We consider workflow graphs as a model for the control flow of a business process model and study the problem of workflow graph parsing, i.e., finding the structure of a ...
Jussi Vanhatalo, Hagen Völzer, Jana Koehler
122
Voted
IEEESCC
2010
IEEE
15 years 4 months ago
An Assessment of Middleware Platforms for Accessing Remote Services
Due to the shift from software-as-a-product (SaaP) to software-as-a-service (SaaS), software components that were developed to run in a single address space must increasingly be a...
Young-Woo Kwon, Eli Tilevich, William R. Cook