Muhammad Taimoor Khan

Learn More
In this paper, we present the syntactic definition and the formal type system for a substantial subset of the language of the computer algebra system Maple, which we call MiniMaple. The goal of the type system is to prevent runtime typing errors by static analysis of the source code of MiniMaple programs. The type system is implemented by a type checker,(More)
Lifelong machine learning (LML) models learn with experience maintaining a knowledge-base, without user intervention. Unlike traditional single-domain models they can easily scale up to explore big data. The existing LML models have high data dependency, consume more resources, and do not support streaming data. This paper proposes online LML model (OAMC)(More)
Topic models are extensively used for text analysis to extract prominent concepts as topics in a large collection of documents about a subject domain. They are extended with different approaches to suit various application areas. Automatic knowledge-based topic models are recently introduced to specifically meet the processing needs of large-scale data(More)
In this thesis, we present a novel framework for the formal specification and verification of computer algebra programs and its application to a non-trivial computer algebra package. The programs are written in the language MiniMaple which is a substantial subset of the language of the commercial computer algebra system Maple. The main goal of the thesis is(More)
The user generated data on social online platforms is a very resourceful medium for building applications. It provide an easy, cheap and efficient way to address the opinions expressed by millions of users. There are various commercial applications developed that analyze the products based on user reviews. However, no considerable research work is carried(More)
Huge volume of content is produced on multiple online sources every day. It is not possible for a user to go through these articles and read about topics of interest. Secondly professional articles, blog and forum have many topics discussed in a single discussion. Automatic knowledge-based topic models is a recent approach in Natural Language Processing(More)
  • 1