Repairing violations of integrity constraints in databases can be seen as an interleaving diagnostic/repair process. In this paper we introduce a new approach on repairing constraint violations by adopting existing techniques from model{based diagnosis. Violations of integrity constraints observed in an inconsistent database state are diagnosed and repair actions are deduced from diagnoses. By ...

The main objective of assembly planning is to determine a sequence of assembling a product with respect to its geometric, and resource constraints. Recent strides toward concurrent engineering have called for a tighter integration of assembly planning with design, because often during assembly planning, one realizes that a signiicant amount of assembly cost can be cut by redesigning the product...

In this chapter, we aim to connect the areas of object categorization and figure-ground segmentation. We present a novel method for the categorization of unfamiliar objects in difficult real-world scenes. The method generates object hypotheses without prior segmentation, which in turn can be used to obtain a category-specific figure-ground segmentation. In particular, the proposed approach uses...

Interleaving Semantics for Reconfigurable Petri Nets

Most games for analysing concurrent systems are played on interleaving models, such as graphs or infinite trees. However, several concurrent systems have partial order models rather than interleaving ones. As a consequence, a potentially algorithmically undesirable translation from a partial order setting to an interleaving one is required before analysing them with traditional techniques. In o...

Interleaving is used for error-correcting on a bursty noisy channel. Given a graph describing the topology of the channel, we label the vertices of so that each label-set is sufficiently sparse. Interleaving scheme corrects for any error burst of size at most ; it is a labeling where the distance between any two vertices in the same label-set is at least . We consider interleaving schemes on in...

Time interleaving is a technique that allows the use of multiple identical analog-to-digital converters[1] (ADCs) to process regular sample data series at a faster rate than the operating sample rate of each individual data converter. (Black & Hodges, 1980) (Manganaro, 2011). In very simple terms, time interleaving (IL) consists of time-multiplexing a parallel array of M identical ADCs, as show...