ATAL
2015
Springer
8 years 7 months ago
2015
Springer
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...
ATAL
2015
Springer
8 years 7 months ago
2015
Springer
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...
ATAL
2015
Springer
8 years 7 months ago
2015
Springer
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...
ATAL
2015
Springer
8 years 7 months ago
2015
Springer
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...
ATAL
2015
Springer
8 years 7 months ago
2015
Springer
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...
ATAL
2015
Springer
8 years 7 months ago
2015
Springer
Predictive state representations (PSRs) are powerful methods of modeling dynamical systems by representing state through observational data. Most of the current PSR techniques foc...
ATAL
2015
Springer
8 years 7 months ago
2015
Springer
ATAL
2015
Springer
8 years 7 months ago
2015
Springer
ATAL
2015
Springer
8 years 7 months ago
2015
Springer
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...
ATAL
2015
Springer
8 years 7 months ago
2015
Springer
d Abstract) Giuseppe De Giacomo DIAG, Sapienza Università di Roma Roma, Italy