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 re�nement. Discrete timing propert
Externí odkaz:
https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581501
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