570 search results - page 10 / 114 » A Novel Approach For Detecting Symmetries in CSP Models |
108
click to vote
CSFW
1998
IEEE
15 years 1 months ago
1998
IEEE
This paper applies the theory of Communicating Sequential Processes (CSP) to the modelling and analysis of a non-repudiation protocol. Non-repudiation protocols di er from authent...
IPMI
2007
Springer
15 years 10 months ago
2007
Springer
This study evaluates a robust parametric modeling approach for computer-aided detection (CAD) of vertebrae column metastases in whole-body MRI. Our method involves constructing a m...
FIW
2007
14 years 11 months ago
2007
Many of the formal techniques are orchestrated for interaction detection in a complex integrated solution of hardware and software components. However, the applicability of these ...
103
click to vote
INFOCOM
2009
IEEE
15 years 4 months ago
2009
IEEE
—Detecting event frontline or boundary sensors in a complex sensor network environment is one of the critical problems for sensor network applications. In this paper, we propose ...
CVPR
2008
IEEE
15 years 11 months ago
2008
IEEE
We propose a novel global pose estimation method to detect body parts of articulated objects in images based on non-tree graph models. There are two kinds of edges defined in the ...