6978 search results - page 278 / 1396 » Reframing Requirements Analysis |
185
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
161
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
Image analysis tools are used for the extraction of clinical data from Doppler Echocardiography images. Currently, manual methods are subject to large inter- and intraobserver var...
189
click to vote
ISBI
2006
IEEE
2006
IEEE
Mixture principal component analysis for distribution volume parametric imaging in brain PET studies
16 years 7 months ago
In this paper, we present a mixture Principal Component Analysis (mPCA)-based approach for voxel level quantification of dynamic positron emission tomography (PET) data in brain s...
163
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
Protein subcellular locations, as an important property of proteins, are commonly learned using fluorescence microscopy. Previous work by our group has shown that automated analys...
305
click to vote
CC
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Clocks are a mechanism for providing synchronization barriers in concurrent programming languages. They are usually implemented using primitive communication mechanisms a...