Sciweavers

599 search results - page 97 / 120
» Nonlinear dynamics in neural computation
Sort
View
CAV
2007
Springer
145views Hardware» more  CAV 2007»
15 years 5 months ago
Hybrid Systems: From Verification to Falsification
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
FGR
2004
IEEE
127views Biometrics» more  FGR 2004»
15 years 5 months ago
Gait Style and Gait Content: Bilinear Models for Gait Recognition Using Gait Re-sampling
Human Identification using gait is a challenging computer vision task due to the dynamic motion of gait and the existence of various sources of variations such as viewpoint, walki...
Chan-Su Lee, Ahmed M. Elgammal
CONSTRAINTS
2008
89views more  CONSTRAINTS 2008»
15 years 1 months ago
A Reinforcement Learning Approach to Interval Constraint Propagation
When solving systems of nonlinear equations with interval constraint methods, it has often been observed that many calls to contracting operators do not participate actively to th...
Frédéric Goualard, Christophe Jerman...
PAMI
2008
140views more  PAMI 2008»
15 years 1 months ago
Simplifying Mixture Models Using the Unscented Transform
Mixture of Gaussians (MoG) model is a useful tool in statistical learning. In many learning processes that are based on mixture models, computational requirements are very demandin...
Jacob Goldberger, Hayit Greenspan, Jeremie Dreyfus...
FORMATS
2010
Springer
14 years 11 months ago
Robust Satisfaction of Temporal Logic over Real-Valued Signals
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
Alexandre Donzé, Oded Maler