Sciweavers

3373 search results - page 252 / 675
» Naturalistic Decision Making
Sort
View
JVA
2006
IEEE
16 years 20 days ago
Natural Deduction Calculus for Computation Tree Logic
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...
Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin
CBMS
2005
IEEE
16 years 8 days ago
Medical Knowledge Morphing: Towards Case-Specific Integration of Heterogeneous Medical Knowledge Resources
Clinical decision-making involves an active interplay between various medical knowledge modalities—the spectrum of medical knowledge modalities spanning from tacit knowledge to ...
Syed Sibte Raza Abidi
CIMCA
2005
IEEE
16 years 8 days ago
OntoBayes: An Ontology-Driven Uncertainty Model
— This paper describes an ontology-driven model, which integrates Bayesian Networks (BN) into the Ontology Web Language (OWL) to preserve the advantages of both. This model makes...
Yi Yang, Jacques Calmet
ICMCS
2005
IEEE
109views Multimedia» more  ICMCS 2005»
16 years 7 days ago
Communication in Crisis Situations Using Icon Language
To reduce the ambiguity and the different semantic interpretation of human observers’ reports, we propose a new paradigm in collaborating information using icons to represent co...
Siska Fitrianie, Léon J. M. Rothkrantz
METRICS
2005
IEEE
16 years 6 days ago
Towards Reusable Measurement Patterns
Software measurement programs can help organizations make better decisions regarding their software projects. However, creating and establishing software measurement programs can ...
Mikael Lindvall, Paolo Donzelli, Sima Asgari, Vict...