Sciweavers

ATAL
2015
Springer
8 years 6 months ago
Approximately Strategy-proof Mechanisms for (Constrained) Facility Location
Mechanism design for facility location (or selection of alternatives in a metric space) has been studied for decades. While strategy-proof, efficient mechanisms exist for unconstr...
Xin Sui, Craig Boutilier
ATAL
2015
Springer
8 years 6 months ago
Signaled Queueing
Burstiness in queues where customers arrive independently leads to rush periods when wait times are long. We propose a simple signaling scheme to decrease wait times by distributi...
Laura Brink, Robert Shorten, Jia Yuan Yu
ATAL
2015
Springer
8 years 6 months ago
Decentralized Bisimulation for Multiagent Systems
The notion of bisimulation has been introduced as a powerful way to abstract from details of systems in the formal verification community. When applying to multiagent systems, cl...
Lei Song, Yuan Feng, Lijun Zhang
ATAL
2015
Springer
8 years 6 months ago
Strategic Free Information Disclosure for Search-Based Information Platforms
We investigate information platforms that enable and support user search. Consider users engaged in a sequential search process (e.g. for used cars or consumer goods in e-commerce...
Shani Alkoby, David Sarne, Sanmay Das
ATAL
2015
Springer
8 years 6 months ago
Observation Modelling for Vision-Based Target Search by Unmanned Aerial Vehicles
Unmanned Aerial Vehicles (UAVs) are playing an increasing role in gathering information about objects on the ground. In particular, a key problem is to detect and classify objects...
W. T. Luke Teacy, Simon J. Julier, Renzo De Nardi,...
ATAL
2015
Springer
8 years 6 months ago
Predictive State Representations with State Space Partitioning
Predictive state representations (PSRs) are powerful methods of modeling dynamical systems by representing state through observational data. Most of the current PSR techniques foc...
Yunlong Liu, Yun Tang, Yifeng Zeng
ATAL
2015
Springer
8 years 6 months ago
A Multidimensional Environment Implementation for Enhancing Agent Interaction
Stéphane Galland, Flavien Balbo, Nicolas Ga...
ATAL
2015
Springer
8 years 6 months ago
Competitive Pricing for Cloud Computing in an Evolutionary Market
Bolei Xu, Tao Qin, Guoping Qiu, Tie-Yan Liu
ATAL
2015
Springer
8 years 6 months ago
Representing and Reasoning about Game Strategies
This paper states the challenges for modeling and reasoning strategic behaviour of agents in multi-agent systems. After a brief review of logical analysis of games, we specify the...
Guifei Jiang
ATAL
2015
Springer
8 years 6 months ago
Synchronous Games in the Situation Calculus
d Abstract) Giuseppe De Giacomo DIAG, Sapienza Università di Roma Roma, Italy
Giuseppe De Giacomo, Yves Lespérance, Adria...