research
∙
03/30/2022
A meta-probabilistic-programming language for bisimulation of probabilistic and non-well-founded type systems
We introduce a formal meta-language for probabilistic programming, capab...
share
research
∙
06/01/2020
GoodPoint: unsupervised learning of keypoint detection and description
This paper introduces a new algorithm for unsupervised learning of keypo...
research
∙
07/10/2019
Differentiable Probabilistic Logic Networks
Probabilistic logic reasoning is a central component of such cognitive a...
research
∙
07/23/2018
Improving Deep Models of Person Re-identification for Cross-Dataset Usage
Person re-identification (Re-ID) is the task of matching humans across c...
research
∙
07/18/2018
Genetic algorithms with DNN-based trainable crossover as an example of partial specialization of general search
Universal induction relies on some general search procedure that is doom...
research
∙
07/18/2018
Metric Embedding Autoencoders for Unsupervised Cross-Dataset Transfer Learning
Cross-dataset transfer learning is an important problem in person re-ide...
research
∙
07/12/2018
HyperNets and their application to learning spatial transformations
In this paper we propose a conceptual framework for higher-order artific...
research
∙
07/10/2018
Vision System for AGI: Problems and Directions
What frameworks and architectures are necessary to create a vision syste...
research
∙
06/14/2018
Semantic Image Retrieval by Uniting Deep Neural Networks and Cognitive Architectures
Image and video retrieval by their semantic content has been an importan...
research
∙
08/03/2013
Universal Empathy and Ethical Bias for Artificial General Intelligence
Rational agents are usually built to maximize rewards. However, AGI agen...
research
∙
06/06/2013
Extending Universal Intelligence Models with Formal Notion of Representation
Solomonoff induction is known to be universal, but incomputable. Its app...
research
∙
06/06/2013
Direct Uncertainty Estimation in Reinforcement Learning
Optimal probabilistic approach in reinforcement learning is computationa...
research
∙
06/01/2013
Universal Induction with Varying Sets of Combinators
Universal induction is a crucial issue in AGI. Its practical applicabili...
research
∙
09/19/2012