Auflistung nach Schlagwort "Semantics"

Sortiert nach: Sortierung: Ergebnisse:

  • 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 ...
  • 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 ...
  • 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 ...
  • 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. ...
  • 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 ...