Formalization of mathematics is the process of digitizing mathematical
k...
Using pretrained word embeddings has been shown to be a very effective w...
Reasoning over knowledge graphs is traditionally built upon a hierarchy ...
Motivated by the celebrated discrete-time model of nervous activity outl...
The quest for biologically plausible deep learning is driven, not just b...
The proliferation of mobile devices, such as smartphones and Internet of...
Despite the widespread installation of accelerometers in almost all mobi...
Compressive sensing has been successfully used for optimized operations ...
Gaussian latent tree models, or more generally, Gaussian latent forest m...