Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Sarshogh, Mohammad Reza"'
We present an end-to-end trainable multi-task network that addresses the problem of lexicon-free text extraction from complex documents. This network simultaneously solves the problems of text localization and text recognition and text segments are i
Externí odkaz:
http://arxiv.org/abs/1906.09266
Autor:
Sarshogh, Mohammad Reza
Event-B is a formal language for systems modelling, based on set theory and predicate logic. It has the advantage of mechanized proof, and it is possible to model a system in several levels of abstraction by using refinement. Discrete timing properti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0456a1f16c4298e1a021717ec2c4044c
https://eprints.soton.ac.uk/354385/
https://eprints.soton.ac.uk/354385/
Event-B is a formal language for systems modeling, based on set theoryand predicate logic. It has the advantage of mechanized proof, and it is possible tomodel a system in several levels of abstraction by using refinement. Discrete timingproperties a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::09b6c723edcbdb3bc0c231def0a80053