754 search results - page 134 / 151 » Automated Model Selection Using Context-Dependent Behaviors |
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
We demonstrate two game theory-based programs for headsup limit and no-limit Texas Hold'em poker. The first player, GS3, is designed for playing limit Texas Hold'em, in ...
ICRA
2009
IEEE
15 years 6 months ago
2009
IEEE
— We present a decentralized, scalable approach to assembling a group of heterogeneous parts into different products using a swarm of robots. While the assembly plans are predete...
ICCD
2001
IEEE
15 years 8 months ago
2001
IEEE
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
DAC
2001
ACM
16 years 19 days ago
2001
ACM
roperty Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines Dong Wang , Pei-Hsin Ho , Jiang Long , James Kukula Yunshan Zhu , Tony Ma , Robert D...
112
click to vote
JIRS
2000
14 years 11 months ago
2000
Agents (hardware or software) that act autonomously in an environment have to be able to integrate three basic behaviors: planning, execution, and learning. This integration is man...