Sciweavers

356 search results - page 4 / 72
» Goal-Driven Analysis of Process Model Validity
Sort
View
WSC
2008
13 years 8 months ago
How to build valid and credible simulation models
In this tutorial we present techniques for building valid and credible simulation models. Ideas to be discussed include the importance of a definitive problem formulation, discuss...
Averill M. Law
CSDA
2006
155views more  CSDA 2006»
13 years 6 months ago
Modelling the mean of a doubly stochastic Poisson process by functional data analysis
A new procedure for estimating the mean process of a doubly stochastic Poisson process is introduced. The proposed estimation is based on monotone piecewise cubic interpolation of...
P. R. Bouzas, Mariano J. Valderrama, Ana M. Aguile...
ICDCIT
2005
Springer
13 years 11 months ago
Validation of Policy Integration Using Alloy
Abstract. Organizations typically have multiple security policies operating together in the same system. The integration of multiple policies might be needed to achieve the desired...
Manachai Toahchoodee, Indrakshi Ray
PDP
2006
IEEE
14 years 8 days ago
An Experimental Validation of the PRO Model for Parallel and Distributed Computation
— The Parallel Resource-Optimal (PRO) computation model was introduced by Gebremedhin et al. [2002] as a framework for the design and analysis of efficient parallel algorithms. ...
Mohamed Essaïdi, Jens Gustedt
ICASSP
2011
IEEE
12 years 10 months ago
Infinite-state spectrum model for music signal analysis
This paper presents a nonparametric Bayesian extension of nonnegative matrix factorization (NMF) for music signal analysis. Instrument sounds often exhibit non-stationary spectral...
Masahiro Nakano, Jonathan Le Roux, Hirokazu Kameok...