The split and merge model is a reasonable method for architecture-independent programming of global image processing operations on parallel architectures. We consider image connected components from the point of view of this programming model, and develop split and merge algorithms that implement various connected components algorithms that have appeared in the literature. The algorithms are im...

In collaborative software development, program merging is the mechanism to integrate changes from multiple programmers. Merge algorithms in modern version control systems report a conflict when interfere textually. conflicts require manual intervention and frequently stall continuous integratio...

Abstract We study the logic of so-called lexicographic or priority merge for multi-agent plausibility models. start with a systematic comparison between logical behavior and more standard notion pooling through intersection, used to define, instance, distributed knowledge. then provide sound complete axiomatization merge, as well proof theory in labeled sequents that admits cut. finally Moorean...