Information distance is used to measure how similar sensorimotor experience is to past experience within a certain temporal horizon. Applied to groups of sensors this gives a mathe...
Naeem Assif Mirza, Chrystopher L. Nehaniv, Kerstin...
We propose a scheme for electronic cash based on symmetric primitives. The scheme is secure in the framework for universal composability assuming the existence of a symmetric CCA2-...
A helpful abstraction of a group of agents is a set of interacting roles, or sets of normative behaviors, that the agents can assume. An important characteristic of real-world agen...
James Odell, H. Van Dyke Parunak, Sven Brueckner, ...
In this paper we describe a unique type of knowledge management systems virtual reality-enabled multi-user virtual environments with spatialised semantic structures. They are des...
This paper describes the concept of higher order quotients and an implementation in Isabelle. Higher order quotients are a generalization of quotients. They use partial equivalence...