196 search results - page 20 / 40 » Canonizable Partial Order Generators |
AIPS
2009
13 years 9 months ago
2009
The growing presence of household robots in inhabited environments arises the need for new robot task planning techniques. These techniques should take into consideration not only...
FUIN
2008
13 years 8 months ago
2008
In this paper, we show how to obtain causal semantics distinguishing "earlier than" and "not later than" causality between events from algebraic semantics of Pe...
SCL
2008
13 years 8 months ago
2008
Nuclearity of the Hankel operator is a known sufficient condition for convergence of Lyapunov-balanced truncations. We show how a previous result on nuclearity of Hankel operators...
NA
2010
13 years 7 months ago
2010
In the field of spectral element approximations, the interpolation points can be chosen on the basis of different criteria, going from the minimization of the Lebesgue constant to ...
NFM
2011
13 years 3 months ago
2011
Abstract. We present a general scheme for automated instantiation-based invariant discovery. Given a transition system, the scheme produces k-inductive invariants from templates re...