9425 search results - page 110 / 1885 » Some Notes on Models and Modelling |
WSC
1994
14 years 11 months ago
1994
CSIM is a simulation model-building toolkit that is used by C/C++ programmers to implement processoriented, discrete-event simulation models. These models mimic the operation of c...
ICIP
2001
IEEE
15 years 11 months ago
2001
IEEE
This paper presents a motion estimation and segmentation algorithm based on multiple parametric model estimation that determines the a priori unknown number of motion models prese...
CAV
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. We consider a fully SAT-based method of unbounded symbolic model checking based on computing Craig interpolants. In benchmark studies using a set of large industrial circ...
OOIS
2000
Springer
15 years 1 months ago
2000
Springer
ABSTRACT: Typically, we think of modelling some business domain when we see the word modelling in the context of software -- some business domain is not understood and therefore we...
WSC
2008
15 years 7 days ago
2008
In this tutorial we present techniques for building valid and credible simulation models. Ideas to be discussed include the importance of a definitive problem formulation, discuss...