519 search results - page 32 / 104 » Symmetries and Dynamics of Discrete Systems |
LFCS
2007
Springer
14 years 5 months ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
ICML
2009
IEEE
14 years 5 months ago
2009
IEEE
Virtually all methods of learning dynamic systems from data start from the same basic assumption: that the learning algorithm will be provided with a sequence, or trajectory, of d...
ICRA
2006
IEEE
14 years 5 months ago
2006
IEEE
— This paper presents a new mathematical model for the human behavior called Stochastic Switched Linear Dynamical (SS-LD) model. The SS-LD model can be regarded as a natural exte...
CEC
2007
IEEE
14 years 3 months ago
2007
IEEE
Metabolic P systems, shortly MP systems, are a special class of P systems, introduced for expressing biological metabolism. Their dynamics is computed by metabolic algorithms which...
IROS
2007
IEEE
14 years 5 months ago
2007
IEEE
— Locomotion on an irregular surface is a challenging task in robotics. Among different problems to solve to obtain robust locomotion, visually guided locomotion and accurate foo...