Auflistung nach Schlagwort "Semantics"

Sortiert nach: Sortierung: Ergebnisse:

  • Zhou, Yiwei; Demidova, Elena; Cristea, Alexandra I. (Heidelberg : Springer Verlag, 2015)
    Representation of influential entities, such as famous people and multinational corporations, on the Web can vary across languages, reflecting language-specific entity aspects as well as divergent views on these entities ...
  • Lück, Martin (Wadern : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 2018)
    We study modal team logic MTL, the team-semantical extension of classical modal logic closed under Boolean negation. Its fragments, such as modal dependence, independence, and inclusion logic, are well-understood. However, ...
  • Allert, Heidrun (Milton Keynes : Open University, 2004)
    The aim of this work is to outline a modelling approach for context specific educational metadata, which addresses the valuable diversity in the field of learning. It presents some foundational issues in the field of ...
  • Özmen, Aslihan; Esmailoghli, Mahdi; Abedjan, Ziawasch (Bonn : Ges. für Informatik, 2021)
    Data transformation discovery is one of the most tedious tasks in data preparation. In particular, the generation of transformation programs for semantic transformations is tricky because additional sources for look-up ...
  • Albert, Lena; Rottensteiner, Franz; Heipke, Christian (Göttingen : Copernicus GmbH, 2016)
    The goal of this paper is to investigate the maximum level of semantic resolution that can be achieved in an automated land use change detection process based on mono-temporal, multi-spectral, high-resolution aerial image ...
  • Kontinen, Juha; Kuusisto, Antti; Virtema, Jonni (Saarbrücken : Dagstuhl Publishing, 2016)
    We study the complexity of predicate logics based on team semantics. We show that the satisfiability problems of two-variable independence logic and inclusion logic are both NEXPTIMEcomplete. Furthermore, we show that the ...
  • Politz, F.; Sester, M. (Katlenburg-Lindau : Copernicus Publications, 2018)
    Over the past years, the algorithms for dense image matching (DIM) to obtain point clouds from aerial images improved significantly. Consequently, DIM point clouds are now a good alternative to the established Airborne ...
  • Niemeyer, Joachim; Rottensteiner, Franz; Sörgel, Uwe; Heipke, Christian (Göttingen : Copernicus GmbH, 2016)
    We propose a novel hierarchical approach for the classification of airborne 3D lidar points. Spatial and semantic context is incorporated via a two-layer Conditional Random Field (CRF). The first layer operates on a point ...
  • Manzoor Bajwa, Awais; Collarana, Diego; Vidal, Maria-Esther (Cham : Springer, 2019)
    Biomedical knowledge graphs such as STITCH, SIDER, and Drugbank provide the basis for the discovery of associations between biomedical entities, e.g., interactions between drugs and targets. Link prediction is a paramount ...
  • Zourlidou, S.; Sester, Monika (Göttingen : Copernicus GmbH, 2016)
    The purpose of this research is to propose and test a method for detecting intersections by analysing collectively acquired trajectories of moving vehicles. Instead of solely relying on the geometric features of the ...
  • Pakzad, Kian; Heipke, Christian (London : International Society for Photogrammetry and Remote Sensing, 2000)
    For the interpretation of remote sensing data the traditional methods such as multispectral classification are in many cases not sufficient. This applies especially to more complex scenes. In order to interpret such scenes ...
  • Mantel, Daniela; Lipeck, Udo (London : International Society for Photogrammetry and Remote Sensing, 2004)
    Nowadays cartographic objects of different resolutions are hold in different coexisting databases. This implies an extensive amount of work for updating an object in all resolutions. One way to reduce this is to build a ...
  • Hella, Lauri; Kuusisto, Antti; Meier, Arne; Virtema, Jonni (Wadern : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 2017)
    Propositional and modal inclusion logic are formalisms that belong to the family of logics based on team semantics. This article investigates the model checking and validity problems of these logics. We identify complexity ...
  • Müller, Sönke; Mota, Guilherme Lucio Abelha; Liedtke, Claus-Eberhard (London : International Society for Photogrammetry and Remote Sensing, 2004)
    The automated interpretation of aerial image data is a task with increasing significance for several applications, e.g. quality control and automatic updating of GIS data, automatic land use change detection, measurement ...
  • Lück, Martin (Wadern : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 2018)
    We study the logic FO(∼), the extension of first-order logic with team semantics by unrestricted Boolean negation. It was recently shown to be axiomatizable, but otherwise has not yet received much attention in questions ...
  • Mueller, Aleksandra; Jesse, Waldemar; Storms, Simon; Herfs, Werner; Brecher, Christian (Hannover : publish-Ing., 2023)
    Due to increasing global competition, companies are challenged to make their production flexible and adaptable. This leads to a steadily increasing complexity of production systems and thus their automation and control ...
  • Dietze, Stefan (Heidelberg : Springer Verlag, 2017)
    While the Web of (entity-centric) data has seen tremendous growth over the past years, take-up and re-use is still limited. Data vary heavily with respect to their scale, quality, coverage or dynamics, what poses challenges ...
  • D'Souza, Jennifer; Auer, Sören; Pedersen, Ted (Stroudsburg, PA : Association for Computational Linguistics (ACL), 2021)
    There is currently a gap between the natural language expression of scholarly publications and their structured semantic content modeling to enable intelligent content search. With the volume of research growing exponentially ...
  • Gottschalk, Simon; Tempelmeier, Nicolas; Kniesel, Günter; Iosifidis, Vasileios; Fetahu, Besnik; Demidova, Elena (Heidelberg : Springer Verlag, 2019)
    In this paper we present the Simple-ML framework that we develop to support efficient configuration, robustness and reusability of data analytics workflows through the adoption of semantic technologies. We present semantic ...
  • D'Souza, Jennifer; Hoppe, Anett; Brack, Arthur; Jaradeh, Mohamad Yaser; Auer, Sören; Ewerth, Ralph (Paris : The European Language Resources Association (ELRA), 2020)
    We introduce the STEM (Science, Technology, Engineering, and Medicine) Dataset for Scientific Entity Extraction, Classification, and Resolution, version 1.0 (STEM-ECR v1.0). The STEM-ECR v1.0 dataset has been developed to ...