Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Mikša, Mladen"'
Autor:
Mikša, Mladen1 (AUTHOR) miksa@kth.se, Nordström, Jakob2 (AUTHOR) jn@di.ku.dk
Publikováno v:
Journal of the ACM. Dec2024, Vol. 71 Issue 6, p1-43. 43p.
Autor:
Mikša, Mladen
Proof complexity is the study of different resources that a proof needs in different proof systems for propositional logic. This line of inquiry relates to the fundamental questions in theoretical computer science, as lower bounds on proof size for a
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-197278
Autor:
Mikša, Mladen, Nordström, Jakob
We study the problem of obtaining lower bounds for polynomial calculus (PC) and polynomial calculus resolution (PCR) on proof degree, and hence by [Impagliazzo et al. '99] also on proof size. [Alekhnovich and Razborov '03] established that if the cla
Externí odkaz:
http://arxiv.org/abs/1505.01358
In 2003, Atserias and Dalmau resolved a major open question about the resolution proof system by establishing that the space complexity of CNF formulas is always an upper bound on the width needed to refute them. Their proof is beautiful but somewhat
Externí odkaz:
http://arxiv.org/abs/1409.2978
Manual correction of errors produced by optical character recognition (OCR) is a time-consuming task. This paper presents an automatic post- processing system that utilizes various methods for improving the OCR results of Croatian language texts. The
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=57a035e5b1ae::55d9b9bc3b662b72d82059fe15bc0264
https://www.bib.irb.hr/484273
https://www.bib.irb.hr/484273
In many text processing tasks character-level errors (due to mistyping, OCR, etc.) typically lead to performance degradation. Most approaches to error correction are dictionary based and cannot be used to correct word boundary errors. Word boundary e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=57a035e5b1ae::70467163eea81452224d8a0a89c05eee
https://www.bib.irb.hr/486604
https://www.bib.irb.hr/486604
Autor:
Mikša, Mladen
Problem ispravljanja pogrešaka OCR-a važan je i težak problem, a kao bitna komponenta problem ističe se pogreška stapanja riječi. Ovim radom predstavljen je automatski postupak rastavljanja riječi u tekstovima dobivenim OCR-om orijentiran na h
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=57a035e5b1ae::79f52fc6b72d561e49437e06d02088fe
https://www.bib.irb.hr/476341
https://www.bib.irb.hr/476341
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Automata, Languages & Programming (9783642392054); 2013, p437-448, 12p