Back to Results
First PageMeta Content
Model theory / Models of computation / Formal languages / Abstraction / Metalogic / Deterministic finite automaton / Nondeterministic finite automaton / Interpretation / DFA minimization / Automata theory / Mathematics / Logic


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-05-16 00:14:15

Open Document

File Size: 789,37 KB

Share Result on Facebook

City

San Francisco / JFLAP / Boston / Washington / DC / Berlin / Indentifiers / Buenos Aires / /

Company

DFA / Interactive Tutoring Systems / AddisonWesley Longman Publishing Co. Inc. / Morgan Kaufmann Publishers Inc. / Pearson / International Thomson Publishing / Microsoft / /

Country

United States / Argentina / /

Currency

pence / /

Event

Product Release / /

Facility

Automata library / Computer Science University of Pennsylvania Redmond University of Illinois / Building Intelligent Interactive Tutors / /

IndustryTerm

incorrect solutions / search process / 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 / e-learning / satisfactory grading tool / information technology / computing / enumeration algorithm / /

MarketIndex

set 60 / set 30 / /

OperatingSystem

L3 / /

Organization

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 / Ai / John E. Hopcroft / Xuelong Li / Michael E. Jrgensen / H. Chad Lane / Anne Adam / Michael Benedikt / H. Laurent / Sumit Gulwani / Jeffrey D. Ullman / Theis Rauhe / Jean-Pierre H. Laurent / Rishabh Singh / Beverly Park Woolf / 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 / /

Position

editor / tutor / teacher / representative / /

Product

A1 / 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 / CMP / enumeration algorithm / artificial intelligence / equivalence algorithm / recognized algorithm / e-learning / second algorithm / /

URL

www.edx.org / http /

SocialTag