We report about a project which brings together Natural Language Processing and eLearning. One of the functionalities developed within this project is the possibility to annotate ...
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
Hidden Markov models hmms and partially observable Markov decision processes pomdps provide useful tools for modeling dynamical systems. They are particularly useful for represent...
Face recognition (FR) is an active yet challenging topic in computer vision applications. As a powerful tool to represent high dimensional data, recently sparse representation bas...
This paper presents a versatile and portable digital signal processing (DSP) platform that is highly suitable for learning embedded signal processing anywhere and anytime. This DS...