搜索页_+Mongiello

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Opening Hours
Collections
Help Via Email

Electronic Information Resources

常用资源

内部出版物

在“Elsevier电子期刊”中，命中：7条，耗时：小于0.01 秒

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

作者：Francesco Maria Donini ; Marina Mongiello ; Michele Ruta ; Rodolfo Totaro

关键词：web application ; model checking ; reliability ; verification

刊名：Electronic Notes in Theoretical Computer Science

出版年：2006

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

作者：D. Castelluccia ; M. Mongiello ; M. Ruta ; R. Totaro

关键词：web application ; verification ; model checking

刊名：Electronic Notes in Theoretical Computer Science

出版年：2006

3.Finite-state verification of the ebXML protocol

作者：Marina Mongiello

关键词：Model checking ; ebXML ; Formal verification ; Business transactions

刊名：Electronic Commerce Research and Applications

出版年：2006

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

作者：Simona Colucci ; Tommaso Di Noia ; Eugenio Di Sciascio ; Francesco M. Donini and Marina Mongiello

关键词：E-commerce ; Negotiable constraints ; Matchmaking ; Description logics ; Concept abduction ; Concept contraction ; Semantics ; Semantic web

刊名：Electronic Commerce Research and Applications

出版年：2005

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

作者：Di Sciascio ; E. ; Mongiello ; M. ; Donini ; F.M. ; Allegretti ; L.

关键词：Spatial arrangement ; Similarity retrieval ; Query by sketch ; Symbolic images

刊名：Pattern Recognition Letters

出版年：2004

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

作者：Di Sciascio ; E. ; Donini ; F.M. ; Mongiello ; M.

关键词：Image retrieval ; Similarity retrieval ; Query by sketch ; Spatial relationships

刊名：Pattern Recognition Letters

出版年：2002

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

作者：DI SCIASCIO ; EUGENIO ; MONGIELLO ; MARINA

刊名：Journal of Visual Languages & Computing

出版年：1999

1

按检索点细分(7)

作者(7)

按出版年细分(7)

2006年(3)

2005年(1)

2004年(1)

2002年(1)

2000年及以前(1)

NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via email.