Sciweavers

3830 search results - page 241 / 766
» From Reference Model to Component Model
Sort
View
NIPS
2003
15 years 8 months ago
Gaussian Process Latent Variable Models for Visualisation of High Dimensional Data
In this paper we introduce a new underlying probabilistic model for principal component analysis (PCA). Our formulation interprets PCA as a particular Gaussian process prior on a ...
Neil D. Lawrence
ENTCS
2006
151views more  ENTCS 2006»
15 years 6 months ago
Stochastic Simulation Methods Applied to a Secure Electronic Voting Model
We demonstrate a novel simulation technique for analysing large stochastic process algebra models, applying this to a secure electronic voting system example. By approximating the...
Jeremy T. Bradley, Stephen T. Gilmore
ENTCS
2006
130views more  ENTCS 2006»
15 years 6 months ago
LSC Verification for UML Models with Unbounded Creation and Destruction
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
Bernd Westphal
INTERSPEECH
2010
15 years 1 months ago
Excitation modeling based on waveform interpolation for HMM-based speech synthesis
It is generally known that a well-designed excitation produces high quality signals in hidden Markov model (HMM)-based speech synthesis systems. This paper proposes a novel techni...
June Sig Sung, Doo Hwa Hong, Kyung Hwan Oh, Nam So...
MIS
2005
Springer
158views Multimedia» more  MIS 2005»
16 years 1 days ago
Context-Based Management of Multimedia Documents in 3D Navigational Environments
Abstract. This work proposes an approach for managing multimedia information associated to 3D environments navigated by the user. The influence of context (location, user profile, ...
Fabio Pittarello