Sciweavers

1789 search results - page 89 / 358
» Extending the Choquet integral
Sort
View
B
2007
Springer
15 years 10 months ago
Automatic Translation from Combined B and CSP Specification to Java Programs
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...
Letu Yang, Michael Poppleton
CVPR
2010
IEEE
16 years 2 months ago
Spatialized Epitome and Its Applications
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,...
SIGMOD
2011
ACM
169views Database» more  SIGMOD 2011»
14 years 9 months ago
Leveraging query logs for schema mapping generation in U-MAP
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...
Hazem Elmeleegy, Ahmed K. Elmagarmid, Jaewoo Lee
ERCIMDL
2011
Springer
210views Education» more  ERCIMDL 2011»
14 years 6 months ago
NotreDAM, a Multi-user, Web Based Digital Asset Management Platform
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...
ACL
2012
13 years 8 months ago
UWN: A Large Multilingual Lexical Knowledge Base
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, ...
Gerard de Melo, Gerhard Weikum