1816 search results - page 161 / 364 » Formal Concepts of Learning Systems Validation in Use |
172
click to vote
IJCAI
2007
15 years 7 months ago
2007
Coronary Heart Disease can be diagnosed by measuring and scoring regional motion of the heart wall in ultrasound images of the left ventricle (LV) of the heart. We describe a comp...
167
click to vote
IWPSE
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we present a new perspective on the problem of complexity in software, using sound mathematical concepts from information theory such as Shannon’s Entropy [31]. We...
173
click to vote
IJCNN
2007
IEEE
16 years 22 days ago
2007
IEEE
— Fuzzy Cognitive Maps (FCMs) are a class of discrete-time Artificial Neural Networks that are used to model dynamic systems. A recently introduced supervised learning method, wh...
163
click to vote
KBSE
2005
IEEE
16 years 15 hour ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
168
click to vote
SELMAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents an agent-oriented modelling language and environment CAMLE. It is based on the conceptual model of multi-agent systems (MAS) proposed and formally def...