9425 search results - page 336 / 1885 » Some Notes on Models and Modelling |
140
click to vote
CAV
2001
Springer
15 years 9 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
130
click to vote
GIS
1999
ACM
15 years 8 months ago
1999
ACM
Nowadays, many applications need data modeling facilities for the description of complex objects with spatial and/or temporal facilities. Responses to such requirements may be fou...
154
click to vote
ICPR
2010
IEEE
15 years 8 months ago
2010
IEEE
—In Dirichlet process (DP) mixture models, the number of components is implicitly determined by the sampling parameters of Dirichlet process. However, this kind of models usually...
144
click to vote
ICRE
2000
IEEE
15 years 8 months ago
2000
IEEE
Today, object-oriented requirements specifications typically combine a scenario (or use case) model and a class model for expressing functional requirements. With any such combina...
132
click to vote
WSC
2007
15 years 6 months ago
2007
Agent-based modeling and simulation (ABMS) is a new approach to modeling systems comprised of autonomous, interacting agents. ABMS promises to have far-reaching effects on the way...