9698 search results - page 242 / 1940 » models 2010 |
174
click to vote
IEAAIE
2010
Springer
15 years 4 months 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...
239
click to vote
APN
2010
Springer
15 years 11 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAâ€...
181
click to vote
IAT
2010
IEEE
15 years 4 months ago
2010
IEEE
-- In this paper it is explored whether personalisation of an existing computational model of attention can increase the model's validity. Computational models of attention ar...
178
click to vote
IAJIT
2010
15 years 5 months ago
2010
: This paper describes the development of neural network models for noise reduction. The networks used to enhance the performance of modeling captured signals by reducing the effec...
204
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time tem...