146
Voted
PAAMS
10 years 23 days ago
2015 Springer
abstract High Frequency Trading (HFT) broadly refers to trading strategies involving fast submission, cancelation and revision of orders in a Continuous Double Auction (CDA). Often...
101
Voted
PAAMS
10 years 23 days ago
2015 Springer
Abstract. The environment, as a space shared between agents, is a key component of multiagent systems (MAS). Depending on systems, this space may integrate physical, communication ...
97
Voted
PAAMS
10 years 23 days ago
2015 Springer
The objectives of this research are to further investigate the foundations for novel SMT and SAT-based bounded model checking (BMC) algorithms for real-time and multiagent systems...
|