All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Exploiting Semantic Annotations in Math Information Retrieval

The result's identifiers

  • Result code in IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F12%3A00067468" target="_blank" >RIV/00216224:14330/12:00067468 - isvavai.cz</a>

  • Result on the web

    <a href="http://dx.doi.org/10.1145/2390148.2390157" target="_blank" >http://dx.doi.org/10.1145/2390148.2390157</a>

  • DOI - Digital Object Identifier

    <a href="http://dx.doi.org/10.1145/2390148.2390157" target="_blank" >10.1145/2390148.2390157</a>

Alternative languages

  • Result language

    angličtina

  • Original language name

    Exploiting Semantic Annotations in Math Information Retrieval

  • Original language description

    This paper describes exploitation of semantic annotations in the design and architecture of MIaS (Math Indexer and Searcher) system for mathematics retrieval. Basing on the claim that navigational and research search are `killer' applications for digitallibrary such as the European Digital Mathematics Library, EuDML, we argue for an approach based on Natural Language Processing techniques as used in corpus management systems such as the Sketch Engine, that will reach web scalability and avoid inferenceproblems. The main ideas are 1) to augment surface texts (including math formulae) with additional linked representations (maps) bearing semantic information (expanded formulae as text, canonicalized text and subformulae) for indexing, including supportfor indexing structural information (expressed as Content MathML or other tree structures) and 2) use semantic user preferences to order found documents.

  • Czech name

  • Czech description

Classification

  • Type

    D - Article in proceedings

  • CEP classification

    IN - Informatics

  • OECD FORD branch

Result continuities

  • Project

    <a href="/en/project/LA09016" target="_blank" >LA09016: Czech Republic membership in the European Research Consortium for Informatics and Mathematics (ERCIM)</a><br>

  • Continuities

    P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Others

  • Publication year

    2012

  • Confidentiality

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Data specific for result type

  • Article name in the collection

    Proceedings of ESAIR 2012

  • ISBN

    9781450317177

  • ISSN

  • e-ISSN

  • Number of pages

    2

  • Pages from-to

    15-16

  • Publisher name

    ACM

  • Place of publication

    Maui, USA

  • Event location

    Lahaina, Maui, Hawaii, USA

  • Event date

    Nov 2, 2012

  • Type of event by nationality

    WRD - Celosvětová akce

  • UT code for WoS article