We propose a simple technique for verifying probabilistic models whose transition probabilities are parametric. The key is to replace parametric transitions by nondeterministic choices of extremal values. Analysing the resulting parameter-free model using off-the-shelf means yields (refinable) lower and upper bounds on probabilities of regions in the parameter space. The technique outperforms t...

Speech synthesis can be produced using many v aried techniques from formant/parametric synthesis to concatenation approaches. This paper present s a n o v el technique 1 , based on the nonlinear dynamics of speech rather than than the time or frequency domain representations. It is demonstrated that the technique can be implemented eectively and used to produce high quality synthesised speech 2 .

Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters (Cassting’16/SynCoP’16). EPTCS 220, 2016, pp. 63–75, doi:10.4204/EPTCS.220.6 c © L. Foshammer, K.G Larsen & A. Mariegaard This work is licensed under the Creative Commons Attribution License. Weighted Branching Simulation Distance for Parametric Weighted Kripke Struc...

We present a technique for the transfer and synthesis of geometric texture on 3D surface meshes. Our technique combines localised surface fitting together with non-parametric sampling to facilitate the extraction, transfer and successful synthesis of geometric relief from one surface mesh to another.

This paper reports on the development of the Interactive Dynamic Stochastic Synthesizer and describes how its implementation of dynamic stochastic synthesis extends previous implementations, in particular with relation to the GENDYN implementation by Iannis Xenakis. The extensions include elaborations of existing features, parameterization to previously hard-coded attributes, new parametric con...

We present an effective controller synthesis method for realtime systems modeled as timed automata with safety requirements. Under the realistic assumption of partial observability, the problem is undecidable in general, and prohibitively expensive (2ExpTime-complete) if a bound on the granularity of the controller is set in advance. We investigate the synthesis of controllers from templates, g...

In this paper, we propose to evaluate the quality of emotional speech synthesis by means of an automatic emotion identification system. We test this approach using five different parametric speech synthesis systems, ranging from plain non-emotional synthesis to full re-synthesis of pre-recorded speech. We compare the results achieved with the automatic system to those of human perception tests....

This paper presents a framework for “Filling In” missing gaps in images and particularly patches with texture. The underlying idea is to construct a parametric model of the p.d.f. of the texture to be re-synthesised and then draw samples from that p.d.f. to create the resulting reconstruction. A Bayesian approach is used to repose 2D Autoregressive Models as generative models for texture (using...

The paper investigates the potential of HMM based synthesis to support the parameterisation of expressive speech in German. First, we review the assets of HMMs in the perspective of previous works in speech modelling and speech transformation. It is shown that HMMs define a flexible parametric model of the speech acoustics, which readily integrates several levels of speech modelling, such as di...