107 search results - page 12 / 22 » Decompositional Construction of Lyapunov Functions for Hybri... |
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
— In this paper we propose a testing based method for safety/ reachability analysis of stochastic hybrid systems. Testing based methods are characterized by analysis based on the...
EVOW
2008
Springer
13 years 10 months ago
2008
Springer
We investigate the automatic construction of visual scenes via a hybrid evolutionary/hill-climbing approach using a correlationbased fitness function. This forms part of The Painti...
IWSSD
2000
IEEE
14 years 29 days ago
2000
IEEE
This paper reports on a preliminary investigation into applying work on graphic animation of behavioral models to an air traffic control case study – the National Air Traffic Se...
RECOMB
2005
Springer
14 years 8 months ago
2005
Springer
Background: Most cellular processes are carried out by multi-protein complexes, groups of proteins that bind together to perform a specific task. Some proteins form stable complex...
TASLP
2010
13 years 3 months ago
2010
Spherical harmonic decomposition of wavefields is not only an active problem in acoustic signal processing but also a useful tool in a plethora of applications such as 3D beamform...