Dipak Chaudhari
Dipak Chaudhari
Postdoctoral Researcher, Rice University
rice.edu üzerinde doğrulanmış e-posta adresine sahip
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Lexical co-occurrence, statistical significance, and word association
DL Chaudhari, OP Damani, S Laxman
Proceedings of the Conference on Empirical Methods in Natural Language …, 2011
312011
HOUDINI: Lifelong Learning as Program Synthesis
L Valkov, D Chaudhari, A Srivastava, C Sutton, S Chaudhuri
Advances in Neural Information Processing Systems, 8700-8711, 2018
242018
Introducing Formal Methods via Program Derivation
DL Chaudhari, O Damani
ACM Conference on Innovation and Technology in Computer Science Education …, 2015
42015
Automated theorem prover assisted program calculations
DL Chaudhari, O Damani
International Conference on Integrated Formal Methods, 205-220, 2014
42014
Combining Top-Down and Bottom-Up Techniques in Program Derivation
DL Chaudhari, O Damani
International Symposium on Logic-Based Program Synthesis and Transformation …, 2015
22015
Generating hierarchical state based representation from Event-B models
DL Chaudhari, OP Damani
Electronic Notes in Theoretical Computer Science 280, 35-46, 2011
22011
Building an IDE for the Calculational Derivation of Imperative Programs
DL Chaudhari, O Damani
arXiv preprint arXiv:1508.03892, 2015
12015
Wikipedia is a Practical Alternative to the Web for measuring Co-occurrence based Word Association
OP Damani, P Chedda, D Chaudhari
LANGUAGE & TECHNOLOGY, 9, 2012
12012
Meta-Meta-Classification for One-Shot Learning
A Chowdhury, D Chaudhari, S Chaudhuri, C Jermaine
arXiv preprint arXiv:2004.08083, 2020
2020
Assumption propagation through annotated programs
DL Chaudhari, O Damani
Formal Aspects of Computing (2016), 1-36 (doi:10.1007/s00165-016-0395-x), 2016
2016
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–10