8201 search results - page 370 / 1641 » Approaching Manual Intelligence |
205
click to vote
MICCAI
2002
Springer
16 years 8 months ago
2002
Springer
The use of statistical shape models is a promising approach for robust segmentation of medical images. One of the major challenges in building a 3D shape model from a training set ...
220
click to vote
CCS
2009
ACM
16 years 8 months ago
2009
ACM
Unified and formal knowledge models of the information security domain are fundamental requirements for supporting and enhancing existing risk management approaches. This paper de...
193
click to vote
ICSE
2004
IEEE-ACM
16 years 7 months ago
2004
IEEE-ACM
FLAVERS is a finite-state verification approach that allows an analyst to incrementally add constraints to improve the precision of the model of the system being analyzed. Except ...
189
click to vote
IEEEARES
2009
IEEE
16 years 2 months ago
2009
IEEE
—Alice and Bob notation is a popular way to describe security protocols: it is intuitive, succinct, and yet expressive. Several formal protocol specification languages are based...
213
click to vote
IV
2009
IEEE
16 years 2 months ago
2009
IEEE
We present an application for integrated visualization of gene expression data from time series experiments in gene regulation networks and metabolic networks. Such integration is...