77016 search results - page 254 / 15404 » Modeling |
125
click to vote
WSC
1993
15 years 5 months ago
1993
We present a mapping of Best Practices from the field of software engineering to the practice of discrete event simulation model construction. There are obvious parallels between ...
128
click to vote
IAT
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper focuses on how capabilities to interpret another agent's emotions, and their biological realisation can be modelled. First a cognitive and a biological agent model...
109
click to vote
AML
2010
15 years 4 months ago
2010
In this paper a method to construct Kripke models for subtheories of constructive set theory is introduced that uses constructions from classical model theory such as constructibl...
139
click to vote
AUTOMATICA
2006
15 years 4 months ago
2006
Abstract-- New methods for model validation of continuoustime nonlinear systems with uncertain parameters are presented in this paper. The methods employ functions of state-paramet...
114
click to vote
ENTCS
2006
15 years 4 months ago
2006
Working with models often requires the ability to assert the compliance of a given model to a given set of constraints. Some tools are able to check OCL invariants on UML models. ...