4075 search results - page 810 / 815 » Modeling Distributed Algorithm Using B |
131
Voted
JCDL
2011
ACM
14 years 1 months ago
2011
ACM
Collaborative research has been increasingly popular and important in academic circles. However, there is no open platform available for scholars or scientists to effectively dis...
93
Voted
IFM
2007
Springer
15 years 4 months ago
2007
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
188
Voted
PODS
2009
ACM
15 years 10 months ago
2009
ACM
Querying uncertain data has emerged as an important problem in data management due to the imprecise nature of many measurement data. In this paper we study answering range queries...
91
Voted
CVPR
2005
IEEE
16 years 8 days ago
2005
IEEE
We address the problem of regional color transfer between two natural images by probabilistic segmentation. We use a new Expectation-Maximization (EM) scheme to impose both spatia...
ICML
2006
IEEE
15 years 11 months ago
2006
IEEE
Consider Alice, who is interacting with Bob. Alice and Bob have some shared secret which helps Alice identify Bob-impersonators. Now consider Eve, who knows Alice and Bob, but doe...