2441 search results - page 173 / 489 » Integrated Medical Analysis System |
201
click to vote
FOSAD
2009
Springer
15 years 11 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
140
click to vote
AR
2006
15 years 5 months ago
2006
In this paper the control of exible joint manipulators is studied in detail. The model of N{axis exible joint manipulators are derived and reformulated in the form of singular per...
172
click to vote
ISBI
2004
IEEE
16 years 5 months ago
2004
IEEE
Fluorescence microscopy is widely used to analyze the distribution of proteins within cells. As currently practiced, the assignment of a protein to a particular organelle is done ...
138
Voted
MICCAI
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. We present a computer vision system that automatically detects pulmonary nodules in computed tomography (CT) scans of oncology patients, performs size analysis and assess...
134
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
The understanding of human physical and physiological signals and expressions, together with a growing processing and control capacity allows for new approaches in interactive sys...