101
click to vote
PAAMS
9 years 8 months 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...
61
Voted
PAAMS
9 years 8 months 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...
PAAMS
9 years 8 months 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 ...
|
Intelligent Agents