Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
Due to the lack of explicit spatial consideration, existing
epitome model may fail for image recognition and target detection,
which directly motivates us to propose the so-calle...
Xinqi Chu, Shuicheng Yan, Liyuan Li, Kap Luk Chan,...
In this paper, we introduce U-MAP, a new system for schema mapping generation. U-MAP builds upon and extends existing schema mapping techniques. However, it mitigates some key pro...
In this work we present an overview of NotreDAM, an open source Digital Asset Management platform targeted to the mid-market segment. NotreDAM provides a web-based multi-user appli...
Maurizio Agelli, Maria Laura Clemente, Mauro Del R...
We present UWN, a large multilingual lexical knowledge base that describes the meanings and relationships of words in over 200 languages. This paper explains how link prediction, ...