4595 search results - page 99 / 919 » Reasoning about Plans |
170
click to vote
WSC
2007
15 years 8 months ago
2007
As military interest continues to grow for Unmanned Aerial Vehicle (UAV) capabilities, the Air Force is exploring UAV autonomous control, mission planning and optimization techniq...
169
click to vote
ICCBR
2009
Springer
16 years 25 days ago
2009
Springer
A model-free, case-based learning and control algorithm called S-learning is described as implemented in a simulation of a light-seeking mobile robot. S-learning demonstrated learn...
156
click to vote
KBSE
1998
IEEE
15 years 10 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
162
click to vote
AAAI
1990
15 years 7 months ago
1990
Temporal projection-predicting future states of a changing world-has been studied mainly as a formal problem. Researchers have been concerned with getting the concepts of causalit...
163
click to vote
AAAI
2012
13 years 8 months ago
2012
Penetration Testing is a methodology for assessing network security, by generating and executing possible hacking attacks. Doing so automatically allows for regular and systematic...