Marina Mongiello

Electron. Commer. Res. Appl., 2006

Modelling and verification of BPEL business processes.

[BibT_eX]

[DOI]

Daniela Castelluccia

Proceedings of the Joint Meeting of The Fourth Workshop on Model-Based Development of Computrer-Based Systems and The Third International Workshop on Model-based Methodologies for Pervasive and Embedded Software, 2006

2005

Performance of batching schemes for multimedia-on-demand services.

[BibT_eX]

[DOI]

IEEE Trans. Multim., 2005

A Model Checking-based Method for Verifying Web Application Design.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Web Languages and Formal Methods, 2005

WAVer: A Model Checking-based Tool to Verify Web Application Design.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Software Verification and Validation, 2005

Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace.

[BibT_eX]

[DOI]

Electron. Commer. Res. Appl., 2005

Design Verification of Web Applications Using Symbolic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Web Engineering, 5th International Conference, 2005

Automatic Ontology Mapping for Agent Communication in an e-Commerce Environment.

[BibT_eX]

[DOI]

Rodolfo Totaro

Proceedings of the E-Commerce and Web Technologies: 6th International Conference, 2005

2004

Retrieval by spatial similarity: an algorithm and a comparative evaluation .

[BibT_eX]

[DOI]

Pattern Recognit. Lett., 2004

A Logic for SVG Documents Query and Retrieval.

[BibT_eX]

[DOI]

Multim. Tools Appl., 2004

Semantic-based Approach to Task Assignment of Individual Profiles.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2004

A System for Principled Matchmaking in an Electronic Marketplace.

[BibT_eX]

[DOI]

Int. J. Electron. Commer., 2004

A knowledge based system for content-based retrieval of Scalable Vector Graphics documents.

[BibT_eX]

[DOI]

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

An Agency for Semantic-Based Automatic Discovery of Web Services.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence Applications and Innovations, 2004

A Uniform Tableaux-Based Method for Concept Abduction and Contraction in Description Logics.

[BibT_eX]

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN.

[BibT_eX]

[DOI]

Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

2003

A Formal Approach to Ontology-Based Semantic Match of Skills Descriptions.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2003

Scalable Vector Graphics Indexing and Retrieval: A Knowledge Representation Approach.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International World Wide Web Conference - Posters, 2003

Semantic Matchmaking in a P-2-P Electronic Marketplace.

[BibT_eX]

[DOI]

Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

Abductive Matchmaking using Description Logics.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-03, 2003

Concept Abduction and Contraction in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

Web Applications Design and Maintenance Using Symbolic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 7th European Conference on Software Maintenance and Reengineering (CSMR 2003), 2003

2002

Spatial layout representation for query-by-sketch content-based image retrieval.

[BibT_eX]

[DOI]

Pattern Recognit. Lett., 2002

Structured Knowledge Representation for Image Retrieval.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2002

Using Computation Tree Logic for Intelligent Information Search on the Web.

[BibT_eX]

[DOI]

Int. J. Comput. Intell. Appl., 2002

AnWeb: a system for automatic support to web application verification.

[BibT_eX]

[DOI]

Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

I-Search: A System for Intelligent Information Search on the Web.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 13th International Symposium, 2002

2000

Semantic Indexing for Image Retrieval Using Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Advances in Visual Information Systems, 4th International Conference, 2000

Color fragmentation-weighted histogram for sketch based image queries.

[BibT_eX]

[DOI]

Eugenio Di Sciaselo

Cataldo Guaragnella

Proceedings of the 10th European Signal Processing Conference, 2000

1999

Query by Sketch and Relevance Feedback for Content-Based Image Retrieval over the Web.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 1999

Content-Based Image Retrieval over the Web Using Query by Sketch and Relevance Feedback.

[BibT_eX]

[DOI]

G. Mingolla

Proceedings of the Visual Information and Information Systems, 1999

DrawSearch: a tool for interactive content-based image retrieval over the Internet.

[BibT_eX]

[DOI]

Proceedings of the Storage and Retrieval for Image and Video Databases VII, 1999

A Description Logic for Image Retrieval.

[BibT_eX]

[DOI]