We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, com...
Franz Huber, Sascha Molterer, Andreas Rausch, Bern...
Abstract: This paper presents a method for semi-automatically building tailored application ontologies from a set of data acquisition forms. Such ontologies are intended to facilit...
Decision making is tightly related to the understanding of the design and manufacturing practices. In our previous work, we proposed an intuitive approach for geometric modeling in...
Ioana Ciuciu, Robert Meersman, Estelle Perrin, Fr&...
Categorical data appears in various places, and dealing with it has been a major concern in analysis fields. However, representing not only global trends but also local trends of d...
This paper presents experiments with the ORFEO ToolBox (OTB) developed by the CNES in the context of the Brussels project ARMURS about map updating. Depending on the availability ...
Christophe Simler, Charles Beumier, Christine Leig...