25156 search results - page 4727 / 5032 » Applications for conscious systems |
212
click to vote
ATAL
2005
Springer
16 years 9 days ago
2005
Springer
The next generation of air traffic control will require automated decision support systems in order to meet safety, reliability, flexibility, and robustness demands in an environ...
171
click to vote
ATAL
2005
Springer
16 years 9 days 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...
200
Voted
ATVA
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
207
click to vote
CHARME
2005
Springer
16 years 9 days ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
185
click to vote
CIKM
2005
Springer
16 years 9 days ago
2005
Springer
With this work we aim to make a three-fold contribution. We first address the issue of supporting efficiently queries over string-attributes involving prefix, suffix, containmen...