Sciweavers

4806 search results - page 71 / 962
» Interactive uncertainty analysis
Sort
View
SEFM
2005
IEEE
14 years 3 months ago
Formal Analysis of Human-computer Interaction using Model-checking
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
Antonio Cerone, Peter A. Lindsay, Simon Connelly
PERVASIVE
2005
Springer
14 years 3 months ago
Analysis of Built-in Mobile Phone Sensors for Supporting Interactions with the Real World
There is currently a lot of research going on in the field of mobile interaction with the real world. So far, the environment where the mobile phone is used is mainly perceived as...
Karin Leichtenstern, Alexander De Luca, Enrico Ruk...
DSN
2007
IEEE
14 years 4 months ago
Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains
Dynamic Fault Trees (DFT) extend standard fault trees by allowing the modeling of complex system components’ behaviors and interactions. Being a high level model and easy to use...
Hichem Boudali, Pepijn Crouzen, Mariëlle Stoe...
DIAL
2006
IEEE
243views Image Analysis» more  DIAL 2006»
14 years 4 months ago
AGORA: the Interactive Document Image Analysis Tool of the BVH Project
In this paper, we describe how meta-data of indexation can be extracted from historical document images using an interactive process with a software called AGORA. The algorithms i...
Jean-Yves Ramel, S. Busson, M. L. Demonet
BMCBI
2008
122views more  BMCBI 2008»
13 years 10 months ago
OpenDMAP: An open source, ontology-driven concept analysis engine, with applications to capturing knowledge regarding protein tr
Background: Information extraction (IE) efforts are widely acknowledged to be important in harnessing the rapid advance of biomedical knowledge, particularly in areas where import...
Lawrence Hunter, Zhiyong Lu, James Firby, William ...