G. Sivakumar

Proceedings of the 18th International Joint Conference on Computer Vision, 2023

2022

The MIS Check-Dam Dataset for Object Detection and Instance Segmentation Tasks.

[BibT_eX]

[DOI]

Proceedings of the 17th International Joint Conference on Computer Vision, 2022

2021

Learning Unsupervised Cross-domain Image-to-Image Translation using a Shared Discriminator.

[BibT_eX]

[DOI]

Rajiv Kumar

Rishabh Dabral

Proceedings of the 16th International Joint Conference on Computer Vision, 2021

Information Flow Secure CAmkES.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Internet of Things, 2021

Empirical Analysis of Greedy, GE and GRE Heuristics.

[BibT_eX]

[DOI]

Proceedings of the ISEC 2021: 14th Innovations in Software Engineering Conference, 2021

2013

Discovering novel carriers for oral insulin tablets: a pharmacoinformatics approach.

[BibT_eX]

[DOI]

Int. J. Bioinform. Res. Appl., 2013

2011

Prediction of disease causing gene in Xq22.1 region of human X-chromosome.

[BibT_eX]

[DOI]

Int. J. Bioinform. Res. Appl., 2011

2010

A systematic bioinformatics approach for selection of target and screening of ligand for malignant tumours suppressing APG4A gene on Xq22.1.

[BibT_eX]

[DOI]

Vidya Niranjan

R. Seenivasagam

Int. J. Comput. Biol. Drug Des., 2010

Dynamic Policy Adaptation for Collaborative Groups.

[BibT_eX]

[DOI]

Madhumita Chatterjee

Proceedings of the Recent Trends in Network Security and Applications, 2010

EGSI: TGKA Based Security Architecture for Group Communication in Grid.

[BibT_eX]

[DOI]

Rajesh Ingle

Proceedings of the 10th IEEE/ACM International Conference on Cluster, 2010

2009

TGKAM: Adaptive Middleware Architecture for Secure Group Communication.

[BibT_eX]

[DOI]

Rajesh Ingle

Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

Dynamic Policy Based Model for Trust Based Access Control in P2P Applications.

[BibT_eX]

[DOI]

Madhumita Chatterjee

Bernard Menezes

Proceedings of IEEE International Conference on Communications, 2009

2007

Tunable Group Key Agreement.

[BibT_eX]

[DOI]

Rajesh Ingle

Proceedings of the 32nd Annual IEEE Conference on Local Computer Networks (LCN 2007), 2007

1999

A search technique for rule extraction from trained neural networks.

[BibT_eX]

[DOI]

R. Krishnan

P. Bhattacharya

Pattern Recognit. Lett., 1999

Extracting decision trees from trained neural networks.

[BibT_eX]

[DOI]

R. Krishnan

P. Bhattacharya

Pattern Recognit., 1999

1998

Proving Associative-Communicative Termination Using RPO-Compatible Orderings.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction in Classical and Non-Classical Logics, 1998

1997

A Total, Ground path Ordering for Proving Termination of AC-Rewrite Systems.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 8th International Conference, 1997

1995

A Path Ordering for Proving Termination of AC Rewrite Systems.

[BibT_eX]

[DOI]

Hantao Zhang

J. Autom. Reason., 1995

Maximal Extensions os Simplification Orderings.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995

1992

Decidable Matching for Convergent Systems (Preliminary Version).

[BibT_eX]

[DOI]

Subrata Mitra

Proceedings of the Automated Deduction, 1992

1991

AC-Equation Solving.

[BibT_eX]

[DOI]

Subrata Mitra

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1991

1990

A New Method for Proving Termination of AC-Rewrite Systems.

[BibT_eX]

[DOI]

Hantao Zhang

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1990

Rewrite Systems for Protocol Specification and Verification.

[BibT_eX]

S. Ramanathan

Proceedings of the Formal Description Techniques, 1990

Equation Solving in Conditional AC-Theories.

[BibT_eX]

[DOI]

Subrata Mitra

Proceedings of the Algebraic and Logic Programming, 1990

1989

Proofs and computations in conditional equational theories

[BibT_eX]

[DOI]

PhD thesis, 1989

1988

Canonical Conditional Rewrite Systems.

[BibT_eX]

[DOI]

Mitsuhiro Okada

Proceedings of the 9th International Conference on Automated Deduction, 1988

Goal-Directed Equation Solving.

[BibT_eX]

[DOI]

Proceedings of the 7th National Conference on Artificial Intelligence, 1988

1987

Solving Goals in Equational Languages.

[BibT_eX]

[DOI]

Proceedings of the Conditional Term Rewriting Systems, 1987

Confluence of Conditional Rewrite Systems.

[BibT_eX]

[DOI]

Mitsuhiro Okada

Proceedings of the Conditional Term Rewriting Systems, 1987

1986

RRL: A Rewrite Rule Laboratory.

[BibT_eX]

[DOI]

Hantao Zhang

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1985

RRL: theorem proving environment based on rewriting techniques.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1985

A Path Ordering for Proving Termination of Term Rewriting Systems.

[BibT_eX]

[DOI]

Paliath Narendran