All
All

What are you looking for?

All
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”
EN
ČeštinaEnglish

Filters

-
19852030

Join usingOrAnd

Join usingOrAnd

SelectAll/None

      • Show more

      • Show more

      • Show more

SelectAll/None

Join usingOrAnd

-

More filters

Projects

6 projects (0,134s) •

Project

Grammar-Checker for a Detection of Grammatical Errors in Czech Texts (GA405/94/0475)

AI - Jazykověda

  • 1994 - 1996
    • •
  • 615 tis. Kč
    • •
  • 977 tis. Kč
    • •
  • GA ČR
Project

Web-based corrector of spelling, grammar and typography for Czech (TL02000146)

The aim of this project is to prepare a comprehensive automatic proofreading tool focused on spelling, grammar and typography of Czech which will cover not only spell-checking but also corrections of grammatical and typographical errors. It will be p...

Linguistics

  • 2019 - 2022
    • •
  • 11 181 tis. Kč
    • •
  • 8 904 tis. Kč
    • •
  • TA ČR
Project

Correctness Analysis of C and C++ Programs with Threads (GA15-08772S)

of formal verification tools, model checkers in particular. The newly developed data of the parallel LTL model checker DIVINE. Our intent is to push the tractability frontier......

IN - Informatika

  • 2015 - 2017
    • •
  • 4 998 tis. Kč
    • •
  • 4 998 tis. Kč
    • •
  • GA ČR
Project

Methods for Intelligent Systems and Their Applications in Datamining and Natural Language Processing (1ET100300517)

linguistics, primarily in the design of grammar-checkers, natural language translators...

IN - Informatika

  • 2005 - 2009
    • •
  • 24 023 tis. Kč
    • •
  • 24 023 tis. Kč
    • •
  • AV ČR
Project

Methodologies for Fault Tolerant Systems Design Development, Implementation and Verification (LD12036)

The project has these goals and steps of research: 1) Development and implementation of a new methodology for fault tolerant systems design into FPGA including errors detection, faults localization, reconfiguration and synchronization after reconfigu...

JC - Počítačový hardware a software

  • 2012 - 2015
    • •
  • 1 512 tis. Kč
    • •
  • 1 292 tis. Kč
    • •
  • MŠMT
Project

LINDAT-CLARIN Institute for analysis, processing and distribution of linguistic data (LM2010013)

and production, to serve in turn as a basis for future NLP applications (grammar checkers...

AI - Jazykověda

  • 2010 - 2015
    • •
  • 120 904 tis. Kč
    • •
  • 120 904 tis. Kč
    • •
  • MŠMT
  • 1 - 6 out of 6