1027 search results - page 164 / 206 » Callgraph properties of executables |
199
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
In this paper we present a system that automatically generates a 3D virtual world from a virtual institution (VI) specification, namely of activities that will take place in the v...
123
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
134
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Bushfire BLOCKS is a modular, distributed, agent-based simulation for exploring and informing bushfire response strategies. Separate independent modules capture the fire spread, e...
140
click to vote
ATVA
2010
Springer
15 years 5 months ago
2010
Springer
Probabilistic B (pB) [2, 8] extends classical B [7] to incorporate probabilistic updates together with the specification of quantitative safety properties. As for classical B, prob...
136
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
This paper presents a path planner for Unmanned Air Vehicles (UAVs) based on Evolutionary Algorithms (EA) that can be used in realistic risky scenarios. The path returned by the a...