In this paper, we propose a method for designing multimedia protocols using both parametric model checking and functional testing. Especially, we focus on designing media synchronization protocols. We specify a given media synchronization protocol as concurrent periodic timed automata with temporal properties where QoS parameters of the underlying network and timing parameters of the protocol a...

| A novel observer for tracking and identifying a chaotic system with time-varying bifurcation parameters via an observation signal contaminated by additive white Gaussian noise (AWGN) is developed in this paper. It is realized by an adaptive algorithm which takes advantage of the good approximation capability of the Radial Basis Function (RBF) neural network and the ability of the Extended Kal...

ionospheric slab thickness is defined as the ratio of tec to maximum electron density of the f-region (nmf2), proportional to the square of the f2-layer critical frequency (fof2). it is an important parameter in that it is linearly correlated with scale height of the ionosphere, which is related to electron density profile. it also reflects variation of the neutral temperature. therefore, ionos...

In this paper we present a method for constraining the deformations of active contour models during image segmentation in a way that is consistent with a previously delineated training set of example images. The training examples are carefully traced with complete or semimanual supervision without the need for pointto-point correspondence. Then frequency domain shape descriptors (in particular,...

For illdefined systems (like environmental and economical systems) with sparse md uncertain data, Homberger and Spear have proposed, as a variation on Monte Carlo simulation analysis, the so-called regional&d sensitivity analysis (RSA) to determine dominant model parameters. In this paper a minor modification to the RSA is proposed to mitigate the effect of arbitrarily chosen initial parameter ...