Sentence examples for in the formalization from inspiring English sources
This paper shows that, by giving formal proofs a more prominent role in the formalization, many of the drawbacks can be solved and many of the opposing views are naturally conciliated.
His central contribution has been in the formalization of common-sense knowledge in AI systems.
Ontology can play an important role in the formalization of product information.
The effectiveness of this framework has been tested in the formalization of a model of economic growth.
Moreover, the coupling quality is evaluated in the formalization process, which results in a global quality value.
The advantage of this architecture is that local LPV controllers are designed independently provided that the monitoring signals are taken into consideration in the formalization of their performance specifications.
In spite of the differences in the formalizations and approaches to loss assessment in different algorithms, a significant majority of the works in the literature utilize the sum of datum-to-cluster distances for all datums and all clusters.
We believe that the implementation of PHG education among medical doctors is needed to ensure the sustainability for the National Health System, and in this context the formalization of mandatory courses in PHG in the core curriculum of the post-graduate schools of hygiene and preventive medicine has the potential to improve the policies in this field.
There were compelling reasons, almost systemic in nature, for the formalization of labour-relations policies.
In 1933, with the end of Prohibition, the image of the mobster as a misbegotten freedom fighter became obsolete; in 1934, with the formalization of the Hays Code, it became untenable.
Even as Taipei trumpeted what in effect is the formalization of a fait accompli, it scrambled to limit any impact on its economy by setting up customs checkpoints on the two islands to keep people returning from the mainland from bringing anything but personal carry-on items back to Taiwan proper.
