This paper presents a novel method for the classification of images that combines information extracted from the images and contextual information. The main hypothesis is that con...
In this paper we introduce graph-evolution rules, a novel type of frequency-based pattern that describe the evolution of large networks over time, at a local level. Given a sequenc...
Intelligent autonomous robots and multiagent systems, having different skills and capabilities for specific subtasks, have the potential to solve problems more efficiently and eff...
"KnowledgeMiner" was designed to support the knowledge extraction process on a highly automated level. Implemented are 3 different GMDH-type self-organizing modeling algo...
In automated deduction systems that are intended for human use, the presentation of a proof is no less important than its discovery. For most of today's automated theorem pro...