Sciweavers

1886 search results - page 10 / 378
» Verifying and validating a simulation model
Sort
View
WSC
2007
13 years 9 months ago
A knowledge-based method for the validation of military simulation
The validation of modern military simulation relies heavily on the opinions of military experts, and it makes the validation task exhaustive and time-consuming. The knowledgebased...
Feiyan Min, Ping Ma, Ming Yang
EDM
2010
111views Data Mining» more  EDM 2010»
13 years 8 months ago
On the Faithfulness of Simulated Student Performance Data
Abstract. The validation of models for skills assessment is often conducted by using simulated students because their skills mastery can be predefined. Student performance data is ...
Michel C. Desmarais, Ildikó Pelczer
IJCSA
2006
95views more  IJCSA 2006»
13 years 7 months ago
Modeling and Formal Verification of DHCP Using SPIN
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
Syed M. S. Islam, Mohammed H. Sqalli, Sohel Khan
WSC
2008
13 years 9 months ago
A modeling-based classification algorithm validated with simulated data
We present a Generalized Lotka-Volterra (GLV) based approach for modeling and simulation of supervised inductive learning, and construction of an efficient classification algorith...
Karen Hovsepian, Peter Anselmo, Subhasish Mazumdar
TII
2008
109views more  TII 2008»
13 years 7 months ago
Analysis and Simulation of Jitter Sequences for Testing Serial Data Channels
This paper presents a novel modeling analysis of jitter as applicable to testing of serial data channels. Jitter is analyzed by considering separate and combined components. The pr...
Kyung Ki Kim, Jing Huang, Yong-Bin Kim, Fabrizio L...