Sciweavers

4636 search results - page 186 / 928
» Modelling and Validation with VipTool
Sort
View
CSDA
2006
155views more  CSDA 2006»
13 years 8 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...
TSD
2004
Springer
14 years 1 months ago
Rapid Dialogue Prototyping Methodology
This paper is about the automated production of dialogue models. The goal is to propose and validate a methodology that allows the production of finalized dialogue models (i.e. di...
Trung H. Bui, Martin Rajman, Miroslav Melichar
BMCBI
2010
150views more  BMCBI 2010»
13 years 8 months ago
Systematic calibration of a cell signaling network model
Background: Mathematical modeling is being applied to increasingly complex biological systems and datasets; however, the process of analyzing and calibrating against experimental ...
Kyoung Ae Kim, Sabrina L. Spencer, John G. Albeck,...
EMSOFT
2008
Springer
13 years 9 months ago
Automatically transforming and relating Uppaal models of embedded systems
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
Timothy Bourke, Arcot Sowmya
DAGSTUHL
2006
13 years 9 months ago
A Petri Net Approach to Verify and Debug Simulation Models
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...
Peter Kemper, Carsten Tepper