92 search results - page 7 / 19 » Proof Planning with Multiple Strategies |
73
Voted
ARITH
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— This paper explores the use of the double-base number system (DBNS) for constant integer multiplication. The DBNS recoding scheme represents integers – in this case c...
58
Voted
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
— This paper presents a distributed control strategy for deploying hovering robots with multiple downward facing cameras to collectively monitor an environment. Information per p...
AAAI
2011
13 years 9 months ago
2011
The standard approach to computing an optimal mixed strategy to commit to is based on solving a set of linear programs, one for each of the follower’s pure strategies. We show t...
WECWIS
2008
IEEE
15 years 4 months ago
2008
IEEE
Today’s development and provision of commercially used Web services has shifted from providing static and predefined functionality to highly configurable services that can be ...
ATAL
2011
Springer
13 years 9 months ago
2011
Springer
Revelation games are bilateral bargaining games in which agents may choose to truthfully reveal their private information before engaging in multiple rounds of negotiation. They a...