Back to Results
First PageMeta Content
Applied mathematics / Deterministic finite automaton / DFA minimization / Nondeterministic finite automaton / Regular expression / DFA Records / Normal distribution / Regular language / Structure / Automata theory / Theoretical computer science / Computer science


Automated Grading of DFA Constructions ∗ Rajeev Alur and Loris D’Antoni Sumit Gulwani Dileep Kini and Mahesh Viswanathan Department of Computer Science Microsoft Research Department of Computer Science
Add to Reading List

Document Date: 2013-04-24 11:35:08

Open Document

File Size: 765,03 KB

Share Result on Facebook

City

JFLAP / Boston / Washington / DC / Berlin / Buenos Aires / /

Company

AddisonWesley Longman Publishing Co. Inc. / Pearson / International Thomson Publishing / Microsoft / /

Country

United States / Argentina / /

Event

Product Release / /

Facility

Automata library / Computer Science University of Pennsylvania Redmond University of Illinois / /

IndustryTerm

incorrect solutions / intelligent tutoring systems / online courses / iterative deepening search / correct solutions / software interfaces / correct solution / automatic grading software / online education / student solution / problem solutions / potential applications / massive open online courses / equivalence algorithm / satisfactory grading tool / information technology / computing / /

MarketIndex

set 60 / set 30 / /

OperatingSystem

L3 / /

Organization

National Science Foundation / University of Pennsylvania / Computational Intelligence / Mahesh Viswanathan Department of Computer Science Microsoft Research Department / University of Illinois / IEEE Computer Society / /

Person

William R. Murray / Robert Paige / Ole J.L. Jensen / Rajeev Alur / Philip Bille / Thomas Finley / Benedikt et.al / Rajeev Motwani / Armando Solar-Lezama / Anders B. Sandholm / Lawrence H. Landweber / Timo von Oertzen / John E. Hopcroft / Xuelong Li / Michael E. Jrgensen / Anne Adam / H. Laurent / Michael Benedikt / Sumit Gulwani / Jeffrey D. Ullman / Theis Rauhe / Jean-Pierre H. Laurent / Rishabh Singh / Xinbo Gao / Mahesh Viswanathan / Michael Sipser / Bing Xiao / Tobias Grtner / Cristian Riveros / Sumit Gulwani Dileep Kini / Nikolaj Bjørner / Manuel Bodirsky / Jakub Kozik / Adam / Nils Klarlund / Dacheng Tao / Jan Schwinghammer / Susan H. Rodger / Wolfgang Thomas / Gabriele Puppis / Margus Veanes / Dileep Kini / /

Position

editor / tutor / representative / /

Product

M OSEL / Automata / /

ProgrammingLanguage

D / DC / /

ProvinceOrState

Illinois / /

PublishedMedium

Electronic Notes in Theoretical Computer Science / Lecture Notes in Computer Science / /

Technology

information technology / 3 An Algorithm / machine learning / two algorithms / DFA equivalence algorithm / artificial intelligence / second algorithm / /

URL

www.edx.org / http /

SocialTag