519 search results - page 32 / 104 » Symmetries and Dynamics of Discrete Systems |
157
click to vote
LFCS
2007
Springer
16 years 12 days 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...
169
click to vote
ICML
2009
IEEE
16 years 1 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...
128
click to vote
ICRA
2006
IEEE
16 years 9 days 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...
141
click to vote
CEC
2007
IEEE
15 years 10 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...
159
click to vote
IROS
2007
IEEE
16 years 17 days 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...