Om P. Damani

Orcid: 0000-0002-4043-9806

According to our database1, Om P. Damani authored at least 33 papers between 1996 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
FPCD: An Open Aerial VHR Dataset for Farm Pond Change Detection.
Proceedings of the 18th International Joint Conference on Computer Vision, 2023

2022
The MIS Check-Dam Dataset for Object Detection and Instance Segmentation Tasks.
Proceedings of the 17th International Joint Conference on Computer Vision, 2022

2021
Cost Optimization of Water Distribution Networks: Model Refinement Is Better Than Problem-Specific Solving Techniques.
CoRR, 2021

2020
Aiding Irrigation Census in Developing Countries by Detecting Minor Irrigation Structures from Satellite Imagery.
Proceedings of the 6th International Conference on Geographical Information Systems Theory, 2020

2019
JalTantra: A System for the Design and Optimization of Rural Piped Water Networks.
INFORMS J. Appl. Anal., 2019

Well Detection in Satellite Images using Convolutional Neural Networks.
Proceedings of the 5th International Conference on Geographical Information Systems Theory, 2019

2017
Assumption propagation through annotated programs.
Formal Aspects Comput., 2017

2015
Interference-constrained coverage algorithms in the protocol and SINR models.
Wirel. Networks, 2015

Building an IDE for the Calculational Derivation of Imperative Programs.
Proceedings of the Proceedings Second International Workshop on Formal Integrated Development Environment, 2015

Combining Top-Down and Bottom-Up Techniques in Program Derivation.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

Introducing Formal Methods via Program Derivation.
Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education, 2015

2014
Automated Theorem Prover Assisted Program Calculations.
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

A Domain-Restricted, Rule Based, English-Hindi Machine Translation System Based on Dependency Parsing.
Proceedings of the 11th International Conference on Natural Language Processing, 2014

2013
Appropriately Incorporating Statistical Significance in PMI.
Proceedings of the 2013 Conference on Empirical Methods in Natural Language Processing, 2013

Improving Pointwise Mutual Information (PMI) by Incorporating Significant Co-occurrence.
Proceedings of the Seventeenth Conference on Computational Natural Language Learning, 2013

2012
Re-ordering Source Sentences for SMT.
Proceedings of the Eighth International Conference on Language Resources and Evaluation, 2012

Noun Group and Verb Group Identification for Hindi.
Proceedings of the COLING 2012, 2012

2011
Generating Hierarchical State Based Representation From Event-B Models.
Proceedings of the B 2011 Workshop, 2011

Lexical Co-occurrence, Statistical Significance, and Word Association.
Proceedings of the 2011 Conference on Empirical Methods in Natural Language Processing, 2011

2010
Transliteration for Resource-Scarce Languages.
ACM Trans. Asian Lang. Inf. Process., 2010

2009
Experiences with English-Hindi, English-Tamil and English-Kannada Transliteration Tasks at NEWS 2009.
Proceedings of the 2009 Named Entities Workshop: Shared Task on Transliteration, 2009

2008
Hindi and Marathi to English Cross Language Information Retrieval.
Proceedings of the Third International Joint Conference on Natural Language Processing, 2008

2007
Hindi generation from interlingua.
Proceedings of Machine Translation Summit XI: Papers, 2007

Hindi to English and Marathi to English Cross Language Information Retrieval Evaluation.
Proceedings of the Advances in Multilingual and Multimodal Information Retrieval, 2007

Hindi and Marathi to English Cross Language Information Retrieval at CLEF 2007.
Proceedings of the Working Notes for CLEF 2007 Workshop co-located with the 11th European Conference on Digital Libraries (ECDL 2007), 2007

2006
Interference-constrained wireless coverage in a protocol model.
Proceedings of the 9th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2006

2003
Distributed recovery with <i>K</i>-optimistic logging.
J. Parallel Distributed Comput., 2003

1999
Optimistic Recovery in Multi-threaded Distributed Systems.
Proceedings of the Eighteenth Symposium on Reliable Distributed Systems, 1999

1998
Fault-Tolerant Distributed Simulation.
Proceedings of the 12th Workshop on Parallel and Distributed Simulation, 1998

1997
ONE-IP: Techniques for Hosting a Service on a Cluster of Machines.
Comput. Networks, 1997

Optimistic Distributed Simulation Based on Transitive Dependency Tracking.
Proceedings of the Eleventh Workshop on Parallel and Distributed Simulation, 1997

Distributed Recovery with K-Optimistic Logging.
Proceedings of the 17th International Conference on Distributed Computing Systems, 1997

1996
How to Recover Efficiently and Asynchronously when Optimism Fails.
Proceedings of the 16th International Conference on Distributed Computing Systems, 1996


  Loading...