1365 search results - page 60 / 273 » Maximal Causality Analysis |
169
click to vote
ICIAR
2010
Springer
15 years 2 months ago
2010
Springer
Image segmentation is a critical low-level visual routine for robot perception. However, most image segmentation approaches are still too slow to allow real-time robot operation. I...
153
Voted
BMCBI
2010
15 years 5 months ago
2010
Background: Cancer is a complex disease where various types of molecular aberrations drive the development and progression of malignancies. Large-scale screenings of multiple type...
163
click to vote
SAC
2004
ACM
15 years 10 months ago
2004
ACM
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
186
click to vote
CSFW
1999
IEEE
15 years 9 months ago
1999
IEEE
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...
140
click to vote
ICPP
1999
IEEE
15 years 9 months ago
1999
IEEE
The vector-clock size necessary to characterize causality in a distributed computation is bounded by the dimension of the partial order induced by that computation. In an arbitrar...