The extension of the XSL (eXtensible Style sheet Language) by variables and passing of data values between template rules has generated a powerful XML query language: XSLT (eXtens...
In this paper we present a case study in deriving an algorithm from a formal specification via FermaT transformations. The general method (which is presented in a separate paper)...
Video event understanding requires a formalism that can model complex logical temporal and spatial relations between composing sub-events. In this paper we argue that the Petri-Net...
Gal Lavee, Artyom Borzin, Ehud Rivlin, Michael Rud...
This work proposes a system process for extracting automatically a fuzzy ontology from a collection of web resources. The approach exploits the Formal Concept Analysis theory for ...
Carmen De Maio, Giuseppe Fenza, Vincenzo Loia, Sab...
The idea of representing knowledge in formal models gets more and more popular. Since these models are understandable and thus processable by machines, the retrieval of knowledge i...