A new compositional technique for hand posture recognition is described. Compositional methods are a powerful approach in image understanding. Most papers using this concept address image categorization problems. We recently propose a hand pose recognition method using the compositional approach. In this paper we present further development of our method and new results. Key-Words: compositiona...

In this paper, we consider metric transition systems which are transition systems equipped with metrics for observation and synchronization labels. The existence of metrics leads to the introduction of two new concepts, (i) ( , δ)-approximate (bi)simulation of transition systems and (ii) approximate synchronization of transition systems. We show that the notion of ( , δ)-approximate (bi)simulat...

Petrophysical interpretation of well logs acquired in organic shales and carbonates is challenging because of the presence of thin beds and spatially complex lithology; conventional interpretation techniques often fail in such cases. Recently introduced methods for thin-bed interpretation enable corrections for shoulder-bed effects on well logs but remain sensitive to incorrectly picked bed bou...

Compositional verification aims at managing the complexity of the verification process by exploiting compositionality of the system architecture. In this paper we explore the use of a temporal epistemic logic to formalize the process of verification of compositional multi-agent systems. The specification of a system, its properties and their proofs are of a compositional nature, and are formali...

For two parallel languages with recursion a compositional weakest precondition semantics is given using two new metric resumption domains. The underlying domains are characterized by domain equations involving functors that deliveròbservable' and`safety' predicate transformers. Further a reenement relation is deened for this domains and illustrated by rules dealing with concurrent composition. ...

Based on a composer’s psycho-acoustic imagination or response to music, system dynamics modelling and simulation tools can be used as a scoring device to map the structural dynamic shape of interest of computer music compositions. The tools can also be used as a generator of compositional ideas reflecting thematic juxtaposition and emotional flux in musical narratives. These techniques allow th...