In this work an image pre-processing module has been developed to extract quantitative information from plantation images with various degrees of infestation. Four filters comprise this module: the first one acts on ...

In this work an image pre-processing module has been developed to extract quantitative information from plantation images with various degrees of infestation. Four filters comprise this module: the first one acts on ...

Este documento presenta una compilación de instrumentos basados en información de demanda laboral, a manera de guía metodológica, para ser utilizados por administradores públicos y otros actores del desarrollo económico ...

We present the Maude Formal Environment (MFE), an executable formal specification in Maude within which a user can seamlessly interact with the Maude Termination Tool, the Maude Sufficient Completeness Checker, the ...

Rewrite theories are a general and expressive formalism for specifying concurrent systems in which states are axiomatized by equations and transitions among states are axiomatized by rewrite rules. We present a deductive ...

Considering hypothetical co-orbital asteroids with the Earth, Tatum (1997) presented a study about the necessary radial distance in order to produce collision. He adopted an analysis considering a composition of circular ...