12981 search results - page 572 / 2597 » Model Checking (Abstract) |
178
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Model-driven engineering and model-based approaches have permeated all branches of software engineering; to the point that it seems that we are using models, as Molière...
177
click to vote
AIIA
2007
Springer
16 years 1 months ago
2007
Springer
Structured Hidden Markov Model (S-HMM) is a variant of Hierarchical Hidden Markov Model that shows interesting capabilities of extracting knowledge from symbolic sequences. In fact...
223
click to vote
AOSE
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. The Agent Modeling Language (AML) is a semi-formal visual modeling language, specified as an extension to UML 2.0. It is a consistent set of modeling constructs designed...
170
click to vote
GEOINFO
2007
15 years 8 months ago
2007
Abstract. We present a method to perform model selection based on predictive density in a class of spatio-temporal dynamic generalized linear models for areal data. These models as...
200
click to vote
IICAI
2007
15 years 8 months ago
2007
Structured Hidden Markov Models (S-HMM) are a variant of Hierarchical Hidden Markov Models; it provides an abstraction mechanism allowing a high level symbolic description of the k...