297 search results - page 56 / 60 » On the Linear Quadratic Minimum-fuel Problem |
ECAI
1992
Springer
13 years 10 months ago
1992
Springer
ABSTRACT. This paper investigates the problem of finding subclasses of nonmonotonic reasoning which can be implemented efficiently. The ability to "define" propositions u...
CAV
2004
Springer
13 years 10 months ago
2004
Springer
Model checking algorithms can report a property as being true for reasons that may be considered vacuous. Current algorithms for detecting vacuity require either checking a quadrat...
DGCI
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. We present a novel template matching framework for detecting geometrically transformed objects. A template is a simplified representation of the object of interest by a s...
SDM
2010
SIAM
13 years 8 months ago
2010
SIAM
The Passive Aggressive framework [1] is a principled approach to online linear classification that advocates minimal weight updates i.e., the least required so that the current tr...
AAAI
1998
13 years 8 months ago
1998
Temporal plans permit significant flexibility in specifying the occurrence time of events. Plan execution can make good use of that flexibility. However, the advantage of executio...