Sciweavers

4229 search results - page 338 / 846
» Modeling Human Intelligence as A Slow Intelligence System
Sort
View
IAT
2008
IEEE
16 years 1 months ago
An Agent Modeling Language Implementing Protocols through Capabilities
In this paper we present how to use the Agent MOdeling LAnguage (AMOLA) to define agent interaction protocols and how to integrate these in an agent model. AMOLA provides the synt...
Nikolaos I. Spanoudakis, Pavlos Moraitis
EVOW
2006
Springer
15 years 10 months ago
Artificial Life Models in Lung CTs
A new method for the analysis of 3D medical images is introduced. The algorithm is based on Biological Models of ants known as Artificial Life models. Test images (lung Computed To...
Sorin Cristian Cheran, Gianfranco Gargano
ECAI
2008
Springer
15 years 8 months ago
Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks
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...
Pedro T. Monteiro, Delphine Ropers, Radu Mateescu,...
CIBB
2009
15 years 7 months ago
On the Use of Temporal Formal Logic to Model Gene Regulatory Networks
Modelling activities in molecular biology face the difficulty of prediction to link molecular knowledge with cell phenotypes. Even when the interaction graph between molecules is k...
Gilles Bernot, Jean-Paul Comet
FLAIRS
2003
15 years 8 months ago
A Case-Based Adaptation Model for Thyroid Cancer Diagnosis Using Neural Networks
In this paper, a new hybrid adaptation model for cancer diagnosis has been developed. It combines transformational and hierarchical adaptation techniques with artificial neural ne...
Abdel-Badeeh M. Salem, Bassant El Bagoury