3482 search results - page 291 / 697 » In Praise of Numerical Computation |
182
click to vote
HYBRID
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
160
click to vote
HYBRID
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we present an automatable decompositional method for the computation of Lyapunov functions for hybrid systems with complex discrete state spaces. We use graph-based ...
227
click to vote
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
State-of-the-art motion estimation algorithms suffer from three major problems: Poorly textured regions, occlusions and small scale image structures. Based on the Gestalt principle...
179
click to vote
CNHPCA
2009
Springer
16 years 1 months ago
2009
Springer
A scalable parallel solver is developed to simulate the Earth’s core convection. With the help from the “multiphysics” data structure and the restricted additive Schwarz prec...
160
click to vote
COMPLEX
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We study the nonequilibrium phenomena of a coupled active rotator model in complex networks. From a numerical Langevin simulation, we find the peculiar phase transition ...