Sfoglia per Autore
Semantic indexing in image retrieval using description logic
2000-01-01 Di Sciascio, E.; Donini, F. M.; Mongiello, M.
Automatic Support for Verification of Secure Transactions in Distributed Environment using Symbolic Model Checking
2001-01-01 Di Sciascio, Eugenio; Donini, Francesco M.; Mongiello, Marina; Piscitelli, Giacomo
Using Computation Tree Logic for Intelligent Information Search on the Web
2002-01-01 Di Sciascio, Eugenio; Donini, Francesco Maria; Mongiello, Marina
AnWeb: a System for Automatic Support to Web Application Verification
2002-01-01 Di Sciascio, Eugenio; Donini, Francesco M.; Mongiello, Marina; Piscitelli, Giacomo
Structured Knowledge representation for image retrieval
2002-01-01 Di Sciascio, E.; Donini, F. M.; Mongiello, M.
Spatial Layout Representation for Query by Sketch Content Based Image Retrieval
2002-01-01 Di Sciascio, E.; Donini, F. M.; Mongiello, M.
I-Search: a system for intelligent information search on the web
2002-01-01 Di Sciascio, E.; Donini, F. M.; Mongiello, M.
Concept Abduction and Contraction in Description Logics
2003-01-01 Colucci, S.; Di Noia, T.; Di Sciascio, E.; Donini, F.; Mongiello, M.
A formal approach to ontology-based semantic match of skills descriptions
2003-01-01 Colucci, S; Di Noia, T.; Di Sciascio, E.; Donini, F. M.; Mongiello, M.; Mottola, M.
Description logics approach to semantic matching of web services
2003-01-01 Colucci, Simona; Di Noia, Tommaso; Di Sciascio, Eugenio; Donini, Francesco Maria; Mongiello, Marina
A system for principled Matchmaking in an electronic marketplace
2003-01-01 Di Noia, Tommaso; Di Sciascio, Eugenio; Donini, Francesco M.; Mongiello, Marina
Abductive Matchmaking using Description Logics
2003-01-01 Di Noia, Tommaso; Di Sciascio, Eugenio; Donini, Francesco M.; Mongiello, Marina
Semantic matchmaking in a P-2-P electronic marketplace
2003-01-01 Di Noia, Tommaso; Di Sciascio, Eugenio; Donini, Francesco M.; Mongiello, Marina
Retrieval by spatial similarity: an algorithm and a comparative evaluation
2004-01-01 Di Sciascio, E.; Mongiello, M.; Donini, F. M.; Allegretti, L.
A system for principled Matchmaking in an electronic marketplace
2004-01-01 Di Noia, T.; Di Sciascio, E.; Donini, F. M.; Mongiello, M.
A Description Logic Based Approach for Matching User Profiles
2004-01-01 Cali, Andrea; Calvanese, Diego; Colucci, Simona; Di Noia, Tommaso; Donini, Francesco M.
A Logic for SVG Documents Query and Retrieval
2004-01-01 Di Sciascio, E.; Donini, F. M.; Mongiello, M.
A Logic-Based Approach for Matching User Profiles
2004-01-01 Calì, Andrea; Calvanese, Diego; Colucci, Simona; Di Noia, Tommaso; Donini, Francesco M.
An agency for semantic-based automatic discovery of web-services
2004-01-01 Colucci, Simona; Di Noia, Tommaso; Di Sciascio, Eugenio; Donini, Francesco M.; Mongiello, Marina; Piscitelli, Giacomo; Rossi, Gianvito
Resource matchmaking based on negotiable and strict constraints in the semantic web
2004-01-01 Colucci, Simona; Di Noia, Tommaso; Di Sciascio, Eugenio; Donini, Francesco Maria; Mongiello, Marina; Piscitelli, Giacomo
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile