107 search results - page 12 / 22 » Decompositional Construction of Lyapunov Functions for Hybri... |
CDC
2008
IEEE
15 years 6 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
15 years 1 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
15 years 4 months 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...
115
click to vote
RECOMB
2005
Springer
15 years 12 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
14 years 6 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...