Separation of concerns allows developers to manage large distributed systems by tackling one problem at a time. Model transformations refine models along one concern-dimension. Aspects encapsulate implementation details that cut across the boundaries of several components. In this position paper, after a short introduction to these emerging technologies, we explain how generic concern-oriented ...

From 4 July 2010 to 9 July 2010, the Dagstuhl Seminar 10271 Veri cation over discrete-continuous boundaries was held in Schloss Dagstuhl Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and id...

This paper presents two main groups of results in the field of process modeling; first, highlighting complexity-related properties shared by several, if not all, levels of production; second, a family of methods set up to handle the aforementioned problems. The presented algorithms lead up to a submodel decomposition method combining generalized feature selection and artificial neural networks ...

This paper describes DialogueView, a tool for annotating dialogues with utterance boundaries, speech repairs, speech act tags, and discourse segments. The tool provides several views of the data, including a word view that is timealigned with the audio signal, and an utterance view that shows the dialogue as if it were a script for a play. The utterance view abstracts away from lower level deta...

diagnosis of corneal diseases is possible by measuring and evaluation of corneal thickness in different layers. thus, the need for precise segmentation of corneal layer boundaries is inevitable. obviously, manual segmentation is time‑consuming and imprecise. in this paper, the gaussian mixture model (gmm) is used for automatic segmentation of three clinically important corneal boundaries on opt...

Several differing figures exist pertaining to the boarders and boundaries of the Islamic Republic of Iran, with different computed areas. Therefore, based on the geographical forces, mission and organization, with the aim of preventing any disagreements, taking relative consensus, scientific literature, research and development into consideration, it is proposed for the first time to determine ...

Acquiring a lexicon requires segmenting the continuous speech stream into words (or morphemes). In previous work, we suggested that the speech stream may be spontaneously perceived as a string of prosodic units, roughly corresponding to phonological phrases (Christophe & Dupoux, 1996; Christophe, Guasti, Nespor, Dupoux, & van Ooyen, 1997). Phonological phrases typically contain one or two conte...

Rates of dehydration/rehydration are important quality parameters for dried products. Theoretically, if there are no adverse effects on the integrity of the tissue structure, it should absorb water to the same moisture content of the initial product before drying.The purpose of this work is to semiautomate the process of detection of cell structure boundaries as a food is dehydrated and rehydra...