Formal techniques have been widely applied in the design of real-time systems and have significantly helped detect design errors by checking real-time properties of the model. Ho...
This paper explores high-level scene interpretation with logic-based conceptual models. The main interest is in aggregates which describe interesting co-occurrences of physical obj...
This paper presents a hybrid artificial intelligent solution that helps to automatically generate proposals, aimed at improving the internal states of organization units from a Kno...
In this paper we address an issue common in the frame of WWW, namely information entities that present di erent facets under di erent contexts (or worlds). Handling such multifacet...
The well-known backpropagation (BP) derivative computation process for multilayer perceptrons (MLP) learning can be viewed as a simplified version of the Kelley-Bryson gradient f...