5544 search results - page 221 / 1109 » Three Inadequate Models |
IROS
2008
IEEE
14 years 4 months ago
2008
IEEE
—Path tracking control on non-flat terrain is an important capability of mobile robots operating in outdoor environments. A path tracking controller based on the model predictive...
CAISE
2004
Springer
14 years 3 months ago
2004
Springer
Six basic notions concerning business processes and their supporting information systems are presented and discussed, on the basis of one common theory. This yields that these noti...
GIAE
2004
Springer
14 years 3 months ago
2004
Springer
This paper first gives a brief overview over some interesting descriptions of conic sections, showing formulations in the three geometric algebras of Euclidean spaces, projective ...
ICALP
2010
Springer
14 years 2 months ago
2010
Springer
We give a quantitative sequential model for noninterference security with probability (but not demonic choice), and a novel refinement order that we prove to be the greatest compo...
CONCUR
2001
Springer
14 years 2 months ago
2001
Springer
Bounded model checking has been recently introduced as an efficient verification method for reactive systems. In this work we apply bounded model checking to asynchronous systems....