We address the problem of online term recurrence prediction: for a stream of terms, at each time point predict what term is going to recur next in the stream given the term occurre...
Abstract. Today, different formalisms exist to solve reasoning problems under uncertainty. For most of the known formalisms, corresponding computer implementations are available. ...
The only known construction of identity-based signatures that can be proven secure in the standard model is based on the approach of attaching certificates to non-identity-based si...
Abstract. In this paper, we propose a novel approach for adaptive control of robotic manipulators. Our approach uses a representation of inverse dynamics models learned from a vari...
It has been proven that Artificial Intelligence, in general, and Artificial Neural Networks, in particular, can be successfully applied to problems in the field of Knowledge Manage...