We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...
This paper describes a supervised segmentation algorithm which draws inspiration from recent advances in non-parametric texture synthesis. A set of example images which have been ...
We propose a new conceptual model for XML data called XSEM as a combination of several approaches in the area of the conceptual modeling for XML. The model divides the conceptual ...
: Creativity as the prerequisite for innovation is a core competitive factor in contemporary organizations. When creativity happens this involves creative persons who produce creat...
Abstract. Ensemble methods allow to improve the accuracy of classification methods. This work considers the application of one of these methods, named Rotation-based, when the clas...