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