Sciweavers

1816 search results - page 102 / 364
» Case study in modeling and simulation validation methodology
Sort
View
CSDA
2010
172views more  CSDA 2010»
14 years 10 months ago
Testing for two components in a switching regression model
We consider switching regression models with independent or Markov-dependent regime. Based on the modified likelihood ratio test (LRT) statistic by Chen, Chen and Kalbfleisch (200...
Jörn Dannemann, Hajo Holzmann
WAPCV
2007
Springer
15 years 3 months ago
Simulation and Formal Analysis of Visual Attention in Cognitive Systems
In this paper a simulation model for visual attention is discussed and formally analysed. The model is part of the design of a cognitive system which comprises an agent that suppor...
Tibor Bosse, Peter-Paul van Maanen, Jan Treur
HICSS
2006
IEEE
114views Biometrics» more  HICSS 2006»
15 years 3 months ago
Using IDEF0/Petri Net for Ontology-Based Task Knowledge Analysis: The Case of Emergency Response for Debris-Flow
In terms of the progress of the industry, the velocity and dynamic nature of the global environment, has caused serious damage and diminished our earth’s resources. A lot of eff...
Wen-Yu Liu, Kwoting Fang
BMCBI
2010
126views more  BMCBI 2010»
14 years 10 months ago
Simulation of a Petri net-based Model of the Terpenoid Biosynthesis Pathway
Background: The development and simulation of dynamic models of terpenoid biosynthesis has yielded a systems perspective that provides new insights into how the structure of this ...
Aliah Hazmah Hawari, Zeti-Azura Mohamed-Hussein
EPEW
2009
Springer
15 years 4 months ago
Modelling Zoned RAID Systems Using Fork-Join Queueing Simulation
Abstract. RAID systems are ubiquitously deployed in storage environments, both as standalone storage solutions and as fundamental components of virtualised storage platforms. Accur...
Abigail S. Lebrecht, Nicholas J. Dingle, William J...