101
click to vote
ATAL
2015
Springer
9 years 11 months ago
2015
Springer
In today’s financial markets, algorithmic trading, the use of quantitative algorithms to automate the submission of orders, is responsible for the majority of trading activity....
ATAL
2015
Springer
9 years 11 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
9 years 11 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...
97
Voted
ATAL
2015
Springer
9 years 11 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...