222 search results - page 42 / 45 » Discounting the Future in Systems Theory |
INFFUS
2007
14 years 9 months ago
2007
The Swedish Defence Research Agency (FOI) has developed a concept demonstrator called the Information Fusion Demonstrator 2003 (IFD03) for demonstrating information fusion methodo...
CASES
2006
ACM
15 years 3 months ago
2006
ACM
Technology trends have led to the advent of multi-core chips in the form of both general-purpose chip multiprocessors (CMPs) and embedded multi-processor systems-on-a-chip (MPSoCs...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
This paper reports experiences and outcomes of designing and developing an agent–based, autonomous mission control system for an unmanned aerial vehicle (UAV). Most UAVs are not...
106
click to vote
ATAL
2007
Springer
15 years 1 months ago
2007
Springer
Integrating contributions received from other agents is an essential activity in multi-agent systems (MASs). Not only must related contributions be integrated together, but the co...
114
click to vote
POPL
2011
ACM
14 years 21 days ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...