3233 search results - page 228 / 647 » Validation Method for Intelligent Systems |
219
click to vote
CIMCA
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper compares the performance of two provably successful evolutionary optimization tools in the optimization of a Fuzzy-Rule-Base (FRB) for the three well known fuzzy modeli...
209
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
203
click to vote
ICTAI
2005
IEEE
16 years 3 days ago
2005
IEEE
A hybrid learning neuro-fuzzy system with asymmetric fuzzy sets (HLNFS-A) is proposed in this paper. The learning methods of random optimization (RO) and least square estimation (...
189
click to vote
ATAL
2005
Springer
16 years 1 days ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
164
click to vote
AUSAI
2003
Springer
15 years 10 months ago
2003
Springer
Hidden markov models (HMMs) and prediction by partial matching models (PPM) have been successfully used in language processing tasks including learning-based token identification. ...