In this paper we discuss extensions to the conventional relatronal algebra to support transaction time We show that these extensions are applicable to hrstorlcal algebras that sup...
We present a region based active contour model which does not require any initialisation and is capable of modelling multi-modal image regions. Its external force is based on stat...
The OWA operators gained interest among researchers as they provide a continuum of aggregation operators able to cover the whole range of compensation between the minimum and the ...
CogentHelp is a prototype tool for authoring dynamicallygenerated on-line help for applications with graphical user interfaces, embodying the "evolution-friendly" proper...
In this paper we provide a systematic formal interpretation for most elements of the UML notation. This interpretation, in a structured temporal logic, enables precise analysis of...