ATAL
2015
Springer
8 years 7 months ago
2015
Springer
ATAL
2015
Springer
8 years 7 months ago
2015
Springer
Due to their internal complexity, agent-based simulations are rarely amenable to conventional formal verification. With its focus on individual traces, runtime verification repr...
ATAL
2015
Springer
8 years 7 months ago
2015
Springer
Most state of the art learning algorithms do not fare well with agents (computer or humans) that change their behaviour in time. This is the case because they usually do not model...
ATAL
2015
Springer
8 years 7 months ago
2015
Springer
We demonstrate CISpaces, a system for agent-aided collaborative intelligence analysis. CISpaces exploits collaboration to ease the effort of constructing hypotheses from acquired ...
ATAL
2015
Springer
8 years 7 months ago
2015
Springer
Pnyx is an easy-to-use and entirely web-based tool for preference aggregation that does not require any prior knowledge about social choice theory. The tool is named after a hill ...
ATAL
2015
Springer
8 years 7 months ago
2015
Springer
The role of humans in aviation and other domains continues to shift from manual control to automation monitoring. Studies have found that humans are often poorly suited for monito...
ATAL
2015
Springer
8 years 7 months ago
2015
Springer
Research in Ambient Intelligence usually cites Multi-Agent Systems as control solution. This demo introduces a development kit that combines Android, JADE-LEAP, and game engines t...
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
