Machine Grading of Charts Based on Formal Specifications
| dc.contributor.advisor | Warren, Joe | en_US |
| dc.creator | Yang, Ziyang | en_US |
| dc.date.accessioned | 2021-08-16T18:10:31Z | en_US |
| dc.date.available | 2021-08-16T18:10:31Z | en_US |
| dc.date.created | 2021-08 | en_US |
| dc.date.issued | 2021-08-05 | en_US |
| dc.date.submitted | August 2021 | en_US |
| dc.date.updated | 2021-08-16T18:10:31Z | en_US |
| dc.description.abstract | Data visualization is necessary for human cognition as the amount of information we are exposed to increases. One strategy is to build a visual representation of the data as a chart or plot. As part of the Data Visualization course of the online master’s program offered by the Department of Computer Science at Rice University, we built a system to automatically check the correctness of plots submitted by the students. For classes with large enrollments, manually grading these plots requires a significant amount of the instructor’s time. Since these plots might be built using different visualization packages, the plots may be visually equivalent but have different underlying structures due to the fact that each package has a distinct API. The non-unique representation of plots and the variety of plotting packages is problematic both for the machine checker to grade and for students to conceptually understand. We designed a hierarchical universal representation of plots that accounts for the variety of package-specific structures of plots, a machine checker that compares each student’s plot to the instructor’s plot in the universal representation, and a universal specification that dedicates how the machine checker should work. Together, they form a system for automatically checking students' plots. We tested this plot checking system on student assignments in the Data Visualization course and reported the results. | en_US |
| dc.format.mimetype | application/pdf | en_US |
| dc.identifier.citation | Yang, Ziyang. "Machine Grading of Charts Based on Formal Specifications." (2021) Master’s Thesis, Rice University. <a href="https://hdl.handle.net/1911/111179">https://hdl.handle.net/1911/111179</a>. | en_US |
| dc.identifier.uri | https://hdl.handle.net/1911/111179 | en_US |
| dc.language.iso | eng | en_US |
| dc.rights | Copyright is held by the author, unless otherwise indicated. Permission to reuse, publish, or reproduce the work beyond the bounds of fair use or other exemptions to copyright law must be obtained from the copyright holder. | en_US |
| dc.subject | Computer Education | en_US |
| dc.subject | Data Visualization | en_US |
| dc.subject | Plot Grader | en_US |
| dc.title | Machine Grading of Charts Based on Formal Specifications | en_US |
| dc.type | Thesis | en_US |
| dc.type.material | Text | en_US |
| thesis.degree.department | Computer Science | en_US |
| thesis.degree.discipline | Engineering | en_US |
| thesis.degree.grantor | Rice University | en_US |
| thesis.degree.level | Masters | en_US |
| thesis.degree.name | Master of Science | en_US |
Files
Original bundle
1 - 1 of 1