A strategy for the analytical solving of ordinary differential equations and a first implementation of it based on mobile agent community, using jini javaspace framework, are pre...
— In this paper we present information about our experiment with a social network of students from one school class. Each pupil has characterized his/her relationships to all sch...
In this paper we present a method of robustly detect circles in a line drawing image. The method is fast, robust and very reliable, and is capable of assessing the quality of its ...
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...
There are lots of validation indexes and techniques to study clustering results. Biclustering algorithms have been applied in Systems Biology, principally in DNA Microarray analysi...