This paper explores the generation of candidates, which is an important step in frequent itemset mining algorithms, from a theoretical point of view. Important notions in our prob...
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
This article investigates the growing complexity and connectivity between two former separated interaction spaces – the real and the virtual world. It is our attempt to augment ...
— The human motions are generated through the interaction between the body and its environments. The information processing system defines the current motion using the signal fe...
— In this paper we present a vision-based approach to self-localization that uses a novel scheme to integrate featurebased matching of panoramic images with Monte Carlo localizat...