Improving coding and spatial pooling for bag-of-words based feature design have gained a lot of attention in recent works addressing object recognition and scene classification. ...
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...
We present a novel method for modeling dynamic visual
phenomena, which consists of two key aspects. First, the in-
tegral motion of constituent elements in a dynamic scene is
ca...
: The objective of our research is to computationally model word production and its disorders by means of artificial neural networks. In the current study we develop and analyze an...
A concise object-oriented method for the development of real-time systems has been composed. Hardware components are modelled by (sofnuare) base objects; base objects are controll...
Rob L. W. van de Weg, Rolf Engmann, Raoul van de H...