Search for Author All Reviews
	Viswanathan, Mahesh     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 3 of 3 reviews       How can automatic feedback help students construct automata? D’antoni L., Kini D., Alur R., Gulwani S., Viswanathan M., Hartmann B. ACM Transactions on Computer-Human Interaction 22(2): 1-24, 2015.  Type: Article Student learning for concepts like automata and formal languages can be a challenge. Students often fail to see the relevance to more practical aspects, and the feedback they receive on lab exercises or homework assignments typically o...... Apr 6 2016     A counterexample-guided abstraction-refinement framework for Markov decision processes Chadha R., Viswanathan M. ACM Transactions on Computational Logic 12(1): 1-49, 2010.  Type: Article In this paper, Chadha and Viswanathan study notions of counterexamples for finite-state Markov decision processes (MDPs). An appropriate definition of counterexamples is the most important ingredient for generalizing counterexample-gui...... Jul 19 2011     A Prototype Document Image Analysis System for Technical Journals Nagy G., Seth S., Viswanathan M. Computer 25(7): 10-22, 1992.  Type: Article The proliferation of technical publications in recent years calls out for computer assistance in the analysis and indexing of this literature. Aside from the analysis of content through semantic examination of text, published documents...... Nov 1 1994
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy