11030 search results - page 100 / 2206 » Generative Sound Models |
126
click to vote
IEAAIE
2010
Springer
15 years 13 days ago
2010
Springer
In this paper, we propose a new diagnostic checking tool for fuzzy rule-based modelling of time series. Through the study of the residuals in the Lagrange Multiplier testing framew...
128
click to vote
ASE
2004
15 years 2 months ago
2004
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...
111
Voted
EMISA
2002
Springer
15 years 2 months ago
2002
Springer
Abstract: This paper presents a new net-reduction methodology to facilitate the analysis of large workflow models. We propose an enhanced algorithm based on reducible subnet identi...
127
Voted
SCAI
2008
15 years 4 months ago
2008
The problem of automatically selecting simulation models for autonomous agents depending on their current intentions and beliefs is considered in this paper. The intended use of t...
103
click to vote
MABS
2000
Springer
15 years 6 months ago
2000
Springer
g of target systems attempted but rather an abstraction of the target systems is modelled and insights bout the abstraction then applied back to the target systems. The MABS modell...