5381 search results - page 719 / 1077 » Artificial neural networks |
226
click to vote
ECAI
2008
Springer
15 years 9 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
202
click to vote
FLAIRS
2004
15 years 9 months ago
2004
Information quality assurance despite the existence of uncertainty about sources can be investigated in the context of soft security where an agent maintains trustworthiness evalu...
202
click to vote
FLAIRS
2003
15 years 9 months ago
2003
Medical data is unique due to its large volume, heterogeneity and complexity. This necessitates costly active participation of medical domain experts in the task of cleansing medi...
171
click to vote
AIS
2002
Springer
15 years 7 months ago
2002
Springer
: Knowledge networking is seen here in terms of creating new alliances of producers, users and mediators of knowledge. At the global level, knowledge networking is about a symbioti...
239
click to vote
CEC
2010
IEEE
15 years 4 months ago
2010
IEEE
The operation of drilling rigs is highly expensive. It is therefore important to be able to identify and analyse variables affecting rig operations. We investigate the use of Genet...