2 papers
cs.AI2014
GraATP: A Graph Theoretic Approach for Automated Theorem Proving in Plane Geometry
Mohammad Murtaza Mahmud, Swakkhar Shatabda, Mohammad Nurul Huda
Automated Theorem Proving (ATP) is an established branch of Artificial Intelligence. The purpose of ATP is to design a system which can automatically figure out an algorithm either…
cs.CL2013
Local Feature or Mel Frequency Cepstral Coefficients - Which One is Better for MLN-Based Bangla Speech Recognition?
Foyzul Hassan, Mohammed Rokibul Alam Kotwal, Md. Mostafizur Rahman +3
This paper discusses the dominancy of local features (LFs), as input to the multilayer neural network (MLN), extracted from a Bangla input speech over mel frequency cepstral coeffi…