The OPARA service was recently upgraded to a new technical platform. You are visiting the outdated OPARA website. Please use https://opara.zih.tu-dresden.de/ for new data submissions. Previously stored data will be migrated in near future and then the old version of OPARA will finally be shut down. Existing DOIs for data publications remain valid.
Institut für Theoretische Informatik
Dieser Bereich ist Open Access und öffentlich zugänglich.
Auflistung nach
Teilbereiche in diesem Bereich
Anonymen Nutzern werden evtl. nicht alle Bereiche oder Sammlungen angezeigt. Bitte loggen Sie sich ein, wenn Sie Ihre freigegebenen Bereiche und Sammlungen sehen wollen.
Neueste Zugänge
-
Experimental results with discontinuous supertag parsing
(Technische Universität Dresden, 2024)This archive contains all log files for the experiments described in chapter 6 of my phd thesis "On the Extraction of Lexicalized Grammars and Parsing via Supertagging for Discontinuous Constituent Structures." It involves ... -
disutapa
(Technische Universität Dresden, 2024)This project is an implementation of the supertagging-based parser for discontinuous constituent trees as described in my phd thesis "On the Extraction of Lexicalized Grammars and Parsing via Supertagging for Discontinuous ... -
Experiments and Results: Spinlock, PWCS, Circuit Design and Performance Evaluation of PRISM implementation
(Technische Universität Dresden, 2021)This dataset contains the model files, queries, experiment setups, raw results and plots of the experiments: 1) analysis of the spinlock protocol, 2) analysis of the PWCS protocol, 3) analysis of the circuit designs for ... -
PRISM Probabilistic Model Checker extended by conditional probabilities, long-run averages and cumulative updates
(Technische Universität Dresden, 2021)Source code of the probabilistic model checker PRISM (https://www.prismmodelchecker.org ) that includes all extensions developed for the thesis: 1) implementation of methods for conditional probabilities and expectations, 2) ...
RSS 1.0