Sciweavers

5012 search results - page 103 / 1003
» Distributed Error Correction
Sort
View
FCT
2007
Springer
15 years 8 months ago
On Approximating Optimal Weighted Lobbying, and Frequency of Correctness Versus Average-Case Polynomial Time
We investigate issues regarding two hard problems related to voting, the optimal weighted lobbying problem and the winner problem for Dodgson elections. Regarding the former, Chris...
Gábor Erdélyi, Lane A. Hemaspaandra,...
TIT
2008
127views more  TIT 2008»
15 years 4 months ago
Max-Product for Maximum Weight Matching: Convergence, Correctness, and LP Duality
Abstract--Max-product "belief propagation" (BP) is an iterative, message-passing algorithm for finding the maximum a posteriori (MAP) assignment of a discrete probability...
Mohsen Bayati, Devavrat Shah, Mayank Sharma
163
Voted
ICIP
2010
IEEE
15 years 2 months ago
A variational multiphase level set approach to simultaneous segmentation and bias correction
This paper presents a novel level set approach to simultaneous tissue segmentation and bias correction of Magnetic Resonance Imaging (MRI) images. We first model the distribution ...
Kaihua Zhang, Lei Zhang, Su Zhang
POPL
2001
ACM
16 years 5 months ago
Nomadic pict: correct communication infrastructure for mobile computation
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...
Asis Unyapoth, Peter Sewell
ECOOPW
1999
Springer
15 years 9 months ago
Correct Composition of Design Components
In this paper, we describe a method for the composition of components that are relatively correct under a particular criterion. The notion of composition pattern is also introduce...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan