ProLiV - Animated Process-modeler of Complex (Computational) Linguistic Methods and Theories - is a fully modular, flexible, XML-based stand-alone Java application, used for compu...
In the strong edge coloring problem, the objective is to color the edges of the given graph with the minimum number of colors so that every color class is an induced matching. In ...
The management and the processing of Earth science data has been gaining importance over the last decade due to higher data volumes generated by a larger number of instruments and ...
Petr Votava, Rama Nemani, Keith Golden, Daniel E. ...
This paper presents several advances in the understanding of dynamic data structures in the bit-probe model: – We improve the lower bound record for dynamic language membership p...