There are many ways to define complexity in logic. In finite model theory, it is the complexity of describing properties, whereas in proof complexity it is the complexity of provin...
Digital preservation has turned into an active field of research. The most prominent approaches today are migration and emulation; especially considering migration, a range of work...
Christoph Becker, Miguel Ferreira, Michael Kraxner...
: In many prediction problems, including those that arise in computer security and computational finance, the process generating the data is best modeled as an adversary with whom ...
This paper presents an appearance–based method to automatically determine places from vision data for topological mapping. The approach exploits the continuity of the visual app...
In the paper, we present a new approach to multi-way Blind Source Separation (BSS) and corresponding 3D tensor factorization that has many potential applications in neuroscience an...
Andrzej Cichocki, Anh Huy Phan, Rafal Zdunek, Liqi...