Sciweavers

10568 search results - page 7 / 2114
» Computer Intelligence and Formalization
Sort
View
ECAI
2006
Springer
14 years 2 months ago
Bridging the Gap Between Informal and Formal Guideline Representations
Abstract. Clinical guidelines are important means to improve quality of health care while limiting cost and supporting the medical staff. They are written as free text with tables ...
Andreas Seyfang, Silvia Miksch, Mar Marcos, Joland...
FAABS
2000
Springer
14 years 2 months ago
Formal Agent Development: Framework to System
Much work in the field of agent-based systems has tended to focus on either the development of practical applications of agent systems on the one hand, or the development of sophis...
Mark d'Inverno, Michael Luck
CIBB
2009
13 years 12 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
ANTSW
2010
Springer
13 years 9 months ago
Formal Verification of Probabilistic Swarm Behaviours
Robot swarms provide a way for a number of simple robots to work together to carry out a task. While swarms have been found to be adaptable, fault-tolerant and widely applicable, d...
Savas Konur, Clare Dixon, Michael Fisher
WICSA
2008
14 years 8 days ago
A Modifiable Agent-Based Software Architecture for Intelligent Virtual Environments for Training
During the last years, Intelligent Virtual Environments for Training have become a quite popular application of computer science to education. However, little attention is being p...
Gonzalo Méndez, Angélica de Antonio