Sciweavers

77016 search results - page 4 / 15404
» Modeling
Sort
View
ANSS
2003
IEEE
14 years 20 days ago
Internode: Internal Node Logic Computational Model
In this work, we present a computational behavioral model for logic gates called Internode (Internal Node Logic Computational Model) that considers the functionality of the gate a...
Alejandro Millán, Manuel J. Bellido, Jorge ...
WSC
2007
13 years 9 months ago
Verification and validation of simulation models
In this paper we discuss verification and validation of simulation models. Four different approaches to deciding model validity are described; two different paradigms that relate ...
Robert G. Sargent
ITS
1998
Springer
82views Multimedia» more  ITS 1998»
13 years 11 months ago
'Do It Yourself' Student Models for Collaborative Student Modelling and Peer Interaction
: An approach to student modelling is presented where learners build their own student models. A more accurate model may thereby be obtained, and learners may reflect on their beli...
Susan Bull
LICS
2008
IEEE
14 years 1 months ago
A Logical Characterization of Individual-Based Models
Individual-based models are a relatively new approach to modelling dynamical systems of interacting entities, for example molecules in a biological cell. Although they are computa...
James F. Lynch
CAISE
2007
Springer
14 years 1 months ago
Negotiating Models
We investigate the process of collaborative modeling by analyzing conversations and loud thinking during modeling sessions and the resulting models themselves. We discovered the ba...
Peter Rittgen