5101 search results - page 233 / 1021 » Analyzing medical processes |
180
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
Recent years have seen increased use of Computed Tomography (CT) based Unaccompanied Baggage and Package Screening (UBPS) systems for luggage examination to ensure air travel secu...
162
click to vote
COMPSYSTECH
2007
15 years 10 months ago
2007
Abstract: The paper analyzes features, roles and functions of shopbots, comparing them to nonvirtual intermediaries. The aim is to understand how they can support and optimize deci...
195
click to vote
NC
2010
15 years 1 months ago
2010
We analyze how measured quantum dynamical systems store and process information, introducing sofic quantum dynamical systems. Using recently introduced information-theoretic measur...
278
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
Sensors capable of sensing phenomena at high data rates on the order of tens to hundreds of thousands of samples per second are now widely deployed in many industrial, civil engine...
185
click to vote
EMSOFT
2007
Springer
16 years 24 days ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...