Donini, Francesco Maria

Donini, Francesco Maria  

Dipartimento di Ingegneria Elettrica e dell'Informazione  

Personale esterno ed autonomi  

Mostra records
Risultati 1 - 20 di 57 (tempo di esecuzione: 0.047 secondi).
Titolo Data di pubblicazione Autori File
Semantic indexing in image retrieval using description logic 1-gen-2000 E. Di SciascioF. M. DoniniM. Mongiello
Automatic Support for Verification of Secure Transactions in Distributed Environment using Symbolic Model Checking 1-gen-2001 Eugenio Di SciascioFrancesco M. DoniniMarina MongielloGiacomo Piscitelli
Using Computation Tree Logic for Intelligent Information Search on the Web 1-gen-2002 Di Sciascio, EugenioDonini, Francesco MariaMongiello, Marina
AnWeb: a System for Automatic Support to Web Application Verification 1-gen-2002 Eugenio Di SciascioFrancesco M. DoniniMarina MongielloGiacomo Piscitelli
Spatial Layout Representation for Query by Sketch Content Based Image Retrieval 1-gen-2002 Di Sciascio, E.Donini, F. M.Mongiello, M.
I-Search: a system for intelligent information search on the web 1-gen-2002 E. Di SciascioF. M. DoniniM. Mongiello
Structured Knowledge representation for image retrieval 1-gen-2002 Di Sciascio, E.Donini, F. M.Mongiello, M.
Abductive Matchmaking using Description Logics 1-gen-2003 Tommaso Di NoiaEugenio Di SciascioFrancesco M. DoniniMarina Mongiello
Concept Abduction and Contraction in Description Logics 1-gen-2003 Colucci, S.Di Noia, T.Di Sciascio, E.Donini, F.Mongiello, M.
Semantic matchmaking in a P-2-P electronic marketplace 1-gen-2003 Tommaso Di NoiaEugenio Di SciascioFrancesco M. DoniniMarina Mongiello
Description logics approach to semantic matching of web services 1-gen-2003 Simona ColucciTommaso Di NoiaEugenio Di SciascioDonini, Francesco MariaMarina Mongiello
A system for principled Matchmaking in an electronic marketplace 1-gen-2003 Tommaso Di NoiaEugenio Di SciascioFrancesco M. DoniniMarina Mongiello
A formal approach to ontology-based semantic match of skills descriptions 1-gen-2003 Colucci, SDi Noia, T.Di Sciascio, E.Donini, F. M.Mongiello, M. +
Resource matchmaking based on negotiable and strict constraints in the semantic web 1-gen-2004 Colucci, SimonaDi Noia, TommasoDi Sciascio, EugenioDonini, Francesco MariaMongiello, MarinaPiscitelli, Giacomo
A Knowledge Based System for Content-based Retrieval of Scalable Vector Graphics Documents 1-gen-2004 Eugenio Di SciascioFrancesco M. DoniniMarina Mongiello
A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN 1-gen-2004 S. ColucciT. Di NoiaE. Di SciascioF. M. DoniniM. Mongiello
An agency for semantic-based automatic discovery of web-services 1-gen-2004 Simona ColucciTommaso Di NoiaEugenio Di SciascioFrancesco M. DoniniMarina MongielloGiacomo Piscitelli +
EbXML verification using model checking 1-gen-2004 Di Sciascio, E.Donini, F. M.Mongiello, M.Piscitelli, G.
Extending Semantic-Based Matchmaking via Concept Abduction and Contraction 1-gen-2004 Tommaso Di NoiaEugenio Di SciascioFrancesco M. Donini
Retrieval by spatial similarity: an algorithm and a comparative evaluation 1-gen-2004 Di Sciascio, E.Mongiello, M.Donini, F. M. +