Shivasankari Kannan

Learn More
We describe the Monitoring and Checking (MaC) framework which assures the correctness of the current execution at run-time. Monitoring is performed based on a formal speci cation of system requirements. MaC bridges the gap between formal speci cation and veri cation, which ensures the correctness of a design rather than an implementation, and testing, which(More)
We describe Java-MaC, a prototype implementation of the Monitoring and Checking (MaC) architecture for Java programs. The MaC architecture provides assurance about the correct execution of target programs at run-time. Monitoring and checking is performed based on a formal speciication of system requirements. MaC bridges the gap between formal veriication,(More)
Machine Translation system accuracies are often brought down due to inaccurate Language Detection (LD) of input phrases. The Language detection accuracy is further affected when the inputs are short and contain ungrammatical phrases, especially in a multilingual mobile game setting. Chat messages in mobile games are often short as they are typed on mobile(More)
Mining of frequent patterns is a basic problem in data mining applications. Frequent Itemset Mining is considered to be an important research oriented task in data mining, due to its large applicability in real world applications. In this paper, a new Maximal Frequent Itemset mining algorithm with effective pruning mechanism is proposed. The proposed(More)
Mining of frequent patterns is a basic problem in data mining applications. The algorithms which are used to generate the frequent patterns must perform efficiently. The objective was to propose a new algorithm which generates maximal frequent patterns in less time. We proposed an algorithm which was based on Array technique and combines a vertical tidset(More)
Data Analysis can be categorized into two forms. One is used for extracting models describing important classes; another is to predict future trends. Data classification can be used to generate models which are further used to predict the unknown classes. The accuracy of the models can be examined by checking the percentage of correctly classified instance.(More)
Mining of frequent itemset plays important role in data mining applications. The algorithms which are used to generate the frequent patterns must perform efficiently. Because the overall performance of association rule mining based on fast discovery of frequent pattern. Many MFI approaches need to recursively construct many candidates, they also suffer the(More)
Link Stability is a crucial factor in designing routing protocols for Mobile networks. Most of the routing strategies that supports for link stability are designed to meet some QoS constraints. Dynamic nature of nodes and the presence of stale information make this very difficult. In this work, we present a performance evaluation of some of the existing(More)
  • 1