Auflistung nach Schlagwort "Semantics"

Sortiert nach: Sortierung: Ergebnisse:

  • Supporting contextualized information finding with automatic excerpt categorization 
    Kawase, Ricardo; Siehndel, Patrick; Pereira Nunes, Bernardo (Amsterdam [u.a.] : 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. ...
  • TableNet: An approach for determining fine-grained relations for wikipedia tables 
    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 ...
  • Team semantics for the specification and verification of hyperproperties 
    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 ...
  • Towards better classification of land cover and land use based on convolutional neural networks 
    Yang, C.; Rottensteiner, F.; Heipke, C. (Göttingen : Copernicus, 2019)
    Land use and land cover are two important variables in remote sensing. Commonly, the information of land use is stored in geospatial databases. In order to update such databases, we present a new approach to determine the ...
  • Using Semantic Distance to Support Geometric Harmonisation of Cadastral and Topographical Data 
    Schulze, Malte Jan; Thiemann, Frank; 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 ...
  • A van Benthem theorem for modal team semantics 
    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 ...