36 search results - page 6 / 8 » Can we predict safety culture |
CACM
2010
13 years 5 months ago
2010
We report on the formal, machine-checked verification of microkernel from an abstract specification down to its C implementation. We assume correctness of compiler, assembly code,...
ECEH
2006
13 years 6 months ago
2006
: Technologies of identification by radio frequencies (RFID) experience a fast development and healthcare is predicted to be one of its major growth areas. After briefly introducin...
AI
2008
Springer
13 years 5 months ago
2008
Springer
The execution performance of an information gathering plan can suffer significantly due to remote I/O latencies. A streaming dataflow model of execution addresses the problem to s...
ECCV
2004
Springer
14 years 7 months ago
2004
Springer
Our purpose is to provide an augmented reality system for Radio-Frequency guidance that could superimpose a 3D model of the liver, its vessels and tumors (reconstructed from CT ima...
COST
2010
Springer
13 years 9 days ago
2010
Springer
Abstract. Computational models that attempt to predict when a virtual human should backchannel are often based on the analysis of recordings of face-to-face conversations between h...