195 search results - page 30 / 39 » Distributed abductive reasoning with constraints |
ICSE
2004
IEEE-ACM
15 years 9 months ago
2004
IEEE-ACM
Distributed applications must often consider and select the appropriate trade-offs among three important aspects ? fault-tolerance, performance and resources. We introduce a novel ...
CONCUR
2008
Springer
14 years 11 months ago
2008
Springer
We introduce subsequence invariants, which characterize the behavior of a concurrent system in terms of the occurrences of synchronization events. Unlike state invariants, which re...
CSCW
2000
ACM
14 years 9 months ago
2000
ACM
This paper asks the question: how might CSCW system design obtain and be informed by an adequate real-world, real-time understanding of work and organisation on any occasion of wor...
106
click to vote
CVPR
2012
IEEE
13 years 1 days ago
2012
IEEE
We propose an unsupervised image segmentation method based on texton similarity and mode seeking. The input image is first convolved with a filter-bank, followed by soft cluster...
102
click to vote
PODS
2008
ACM
15 years 9 months ago
2008
ACM
We present a novel definition of privacy in the framework of offline (retroactive) database query auditing. Given information about the database, a description of sensitive data, ...