875 search results - page 129 / 175 » Reasoning about Knowledge and Continuity |
WSC
2007
15 years 2 days 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...
ICSE
2010
IEEE-ACM
14 years 11 months ago
2010
IEEE-ACM
Computational reflection is a well-established technique that gives a program the ability to dynamically observe and possibly modify its behaviour. To date, however, reflection is...
IPL
2008
14 years 9 months ago
2008
As part of the efforts put in understanding the intricacies of the k-colorability problem, different distributions over k-colorable graphs were analyzed. While the problem is notor...
SOCO
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. The use of XML as a format for message exchange makes Web services well suited for composition of heterogeneous components. However, since clients must manage differences...
SIAMJO
2002
14 years 9 months ago
2002
Most local convergence analyses of the sequential quadratic programming (SQP) algorithm for nonlinear programming make strong assumptions about the solution, namely, that the activ...