Theorem Proving in Large Formal Mathematics as an Emerging AI Field
On 23 May, 2014 By admin 0 Comments
Academic Paper
Empirical Comparison of Graph Databases
On 23 May, 2014 By admin 0 Comments
Improving Deep Neural Networks for LVCSR Using Rectified Linear Units and Dropout
On 19 May, 2014 By admin 0 Comments
A Better Way to Pretrain Deep Boltzmann Machines
On 19 May, 2014 By admin 0 Comments
Relativized Separation of Reversible and Irreverible Space-time Complexity Classes
On 17 May, 2014 By admin 0 Comments
Large-Scale Automatic Labeling of Video Events with Verbs Based on Event-Participant Interaction
On 17 May, 2014 By admin 0 Comments
Modular Verification of Dynamically Adaptive Systems
On 17 May, 2014 By admin 0 Comments
Deep Mixtures of Factor Analysers
On 17 May, 2014 By admin 0 Comments
Scaling Fluctuation Analysis and Statistical Hypothesis Testing of Anthropogenic Warming
On 10 May, 2014 By admin 0 Comments
New Types of Deep Neural Network Learning for Speech Recognition and Related Applications
On 4 May, 2014 By admin 0 Comments