6th International Conference on Computer Science and Engineering (CSEN 2019)

December 14~15, 2019, Chennai, India

Accepted Papers


Precedent Case Retrieval Using Wordnet and Deep Recurrent Neural Networks
Sai Vishwas Padigi, Mohit Mayank and Prof. S. Natarajan, Department of Computer Science and Engineering, PES University, Bengaluru, India
ABSTRACT
The slowness of legal proceedings in the common law legal system is a widely known fact. Any tool which could help reduce the time taken for the resolution of a case is invaluable. Common legal systems place a great importance on precedents and retrieving the correct set of precedents is considerably time consuming. Hence, for any case whose proceedings are in progress, if there are suitable prior cases, then the court has to follow the same interpretations that were passed in the prior cases. This is to ensure that similar situations receive similar treatment, thus maintaining uniformity amongst the legal proceedings across all courts at all times. Hence, precedent cases are treated as important as any other written law (a statute) in this legal system. In this paper, we propose two new approaches to solve this information retrieval problem wherein the system accepts the current case document as the query and returns the relevant precedent cases as the result. The first approach is to calculate the document similarity using Wordnet, which is a lexical database that could be leveraged to quantify the semantic relatedness between two documents, using a semantic network. The second approach is the use of a Siamese Manhattan Long Short Term Memory network, which is a supervised model trained to understand the underlying similarity between two documents.
KEYWORDS

Information retrieval, Text similarity, Deep learning, Legal documents, Wordnet, Siamese Manhattan LSTM


Encoding Graph Transformation Systems With Symmetric Nets
Lorenzo Capra, Universit`a degli Studi di Milano, Milan, Italy
ABSTRACT
Graph transformation systems (GTS) have been successfully proposed as a general, theoretically sound model for concurrency. Petri nets (PN), on the other side, are a central and intuitive formalism for concurrent or distributed systems, well supported by a number of analysis techniques/tools. Some PN classes have been shown to be instances of GTS. In this paper, we change perspective presenting an operational semantics of GTS in terms of Symmetric Nets, a well-known class of Coloured Petri nets featuring a structured syntax that outlines model symmetries. Some practical exploitations of the proposed operational semantics are discussed. In particular, a recently developed structural calculus for SN is used to validate graph rewriting rules in a symbolic way.
KEYWORDS

Formal models, Graph Transformation Systems, (High-Level) Petri Nets.


Test for Uniform Bounded Input, Bounded Output Stability
Rama Murthy and Mahipal Jetta, Mahindra Ecole Centrale, Hyderabad, India
ABSTRACT
In this research paper, a novel concept of Uniform Bounded InputBounded Output (BIBO) stability is introduced. Using the state space formulation of a Linear Time Invariant (LTI) system, a test for UNIFORM BIBO stability is designed. It is expected that this test will be useful in voltage stabilizers and other control equipment.
KEYWORDS

BIBO Stability, Poles, Eigen Values, Relative Stability, Linear System


A Variant of Throttled Load Balancing Algorithm in Cloud Environment
Akash S, Varun Sabnis, Manoj Vignesh K M and Manoj Yadav
ABSTRACT
Cloud Computing is a widely used technology to provide services over the internet. These days, with plenty of applications deployed on the cloud, the cloud service providers need to efficiently utilize their resources and provide quick responses to user requests. To meet these requirements load balancing mechanism is used. In this paper, we have reviewed various existing load balancing algorithms and proposed a variant of the throttled load balancing algorithm.
KEYWORDS

Cloud Computing, Load balancing algorithms, CloudAnalyst , Virtual Machines, Cloudlets, Throttling