In Model Based Development (MBD) of embedded systems, it is often desirable to not only verify/falsify certain formal system specifications, but also to automatically explore the properties that the system satisfies. Namely, given a parametric specification, we would like to automatically infer the ranges of parameters for which the property holds/does not hold on the system. In this paper, we ...

The problem to track time-varying properties of a signal is studied. The somewhat contradictory notion of \time-varying spectrum" and how to estimate the \current" spectrum in an on-line fashion is discussed. The traditional concepts and relations between time and frequency resolution are crucial for this problem. An adaptive estimation algorithm is used to estimate the parameters of a time-var...

This paper discusses the application of three different nonparametric methods for decomposing images into regions which exhibit special stochashc es, together with the statistics in connection With steps in the emplrical estimated distribution functions; 2) detection of stochastic informahon wi image by hypothesis testing; 3) rank order stahstics to ose the different types of stochastic mthin a...

This paper discusses the application of three different nonparametric methods for decomposing images into regions which exhibit special stochashc es, together with the statistics in connection With steps in the emplrical estimated distribution functions; 2) detection of stochastic informahon wi image by hypothesis testing; 3) rank order stahstics to ose the different types of stochastic mthin a...

This paper discusses the application of three different nonparametric methods for decomposing images into regions which exhibit special stochashc es, together with the statistics in connection With steps in the emplrical estimated distribution functions; 2) detection of stochastic informahon wi image by hypothesis testing; 3) rank order stahstics to ose the different types of stochastic mthin a...

This paper discusses the application of three different nonparametric methods for decomposing images into regions which exhibit special stochashc es, together with the statistics in connection With steps in the emplrical estimated distribution functions; 2) detection of stochastic informahon wi image by hypothesis testing; 3) rank order stahstics to ose the different types of stochastic mthin a...

This paper discusses the application of three different nonparametric methods for decomposing images into regions which exhibit special stochashc es, together with the statistics in connection With steps in the emplrical estimated distribution functions; 2) detection of stochastic informahon wi image by hypothesis testing; 3) rank order stahstics to ose the different types of stochastic mthin a...

Thermal cladding systems have developed and modernised since the first were implemented, predictions of single figure sound insulation improvement, ?RW, based on natural frequency, f0, spring-mass covering may no longer be reliable. To identify aspects compound acoustic behaviour due to multiple power flow paths thermal insulating system, a statistical energy analysis (SEA) prediction model was...

This paper discusses the application of three different nonparametric methods for decomposing images into regions which exhibit special stochashc es, together with the statistics in connection With steps in the emplrical estimated distribution functions; 2) detection of stochastic informahon wi image by hypothesis testing; 3) rank order stahstics to ose the different types of stochastic mthin a...

This paper discusses the application of three different nonparametric methods for decomposing images into regions which exhibit special stochashc es, together with the statistics in connection With steps in the emplrical estimated distribution functions; 2) detection of stochastic informahon wi image by hypothesis testing; 3) rank order stahstics to ose the different types of stochastic mthin a...