Browsing by Subject "Semantics"

Sort by: Order: Results:

  • Kontinen, Juha; Müller, Julian-Steffen; Schnoor, Henning; Vollmer, Heribert (Wadern : Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, 2015)
    The famous van Benthem theorem states that modal logic corresponds exactly to the fragment of first-order logic that is invariant under bisimulation. In this article we prove an exact analogue of this theorem in the framework ...
  • 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 ...
  • 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. (London : International Society for Photogrammetry and Remote Sensing, 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 ...
  • 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 ...
  • 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 ...
  • Kawase, Ricardo; Siehndel, Patrick; Pereira Nunes, Bernardo (Amsterdam : Elsevier, 2014)
    The volume of information on the Web is constantly growing. Consequently, finding specific pieces of information becomes a harder task. Wikipedia, the largest online reference Website is beginning to witness this phenomenon. ...
  • Fetahu, Besnik; Anand, Avishek; Koutraki, Maria (New York, NY : Association for Computing Machinery, Inc, 2019)
    We focus on the problem of interlinking Wikipedia tables with fine-grained table relations: equivalent and subPartOf. Such relations allow us to harness semantically related information by accessing related tables or facts ...
  • Krebs, Andreas; Meier, Arne; Virtema, Jonni; Zimmermann, Martin (Wadern : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 2018)
    We develop team semantics for Linear Temporal Logic (LTL) to express hyperproperties, which have recently been identified as a key concept in the verification of information flow properties. Conceptually, we consider an ...
  • Lück, Martin (Wadern : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 2017)
    Modal Team Logic (MTL) extends Väänänen's Modal Dependence Logic (MDL) by Boolean negation. Its satisfiability problem is decidable, but the exact complexity is not yet understood very well. We investigate a model-theoretical ...
  • Schulze, Malte Jan; Thiemann, F.; Sester, Monika (Göttingen : Copernicus GmbH, 2014)
    In the context of geo-data infrastructures users may want to combine data from different sources and expect consistent data. If both datasets are maintained separately, different capturing methods and intervals leads to ...