Publikace
Počet publikací: 229
Články ve sbornících
-
Mapping the Landscape of Data Visualizations in Schools and Educational Resources
Rok: 2024
-
Minuska: Towards a Formally Verified Programming Language Framework
22nd International Conference on Software Engineering and Formal Methods, rok: 2024
-
Monitizer: Automating Design and Evaluation of Neural Network Monitors
Computer Aided Verification, rok: 2024
-
Multi-Floor Warehouse Planning
Knowledge Engineering for Planning and Scheduling, rok: 2024
-
Named Entity Linking in English-Czech Parallel Corpus
Text, Speech, and Dialogue, 27th International Conference, TSD 2024, Part I, rok: 2024
-
New Human-Annotated Dataset of Czech Health Records for Training Medical Concept Recognition Models
Text, Speech, and Dialogue, rok: 2024
-
One Year of Continuous and Automatic Data Gathering from Parliaments of European Union Member States
Proceedings of the IV Workshop on Creating, Analysing, and Increasing Accessibility of Parliamentary Corpora (ParlaCLARIN) @ LREC-COLING 2024, rok: 2024
-
Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes
Proceedings of 38th Annual AAAI Conference on Artificial Intelligence (AAAI 2024), rok: 2024
-
Personalized Similarity Models for Evaluating Rehabilitation Exercises from Monocular Videos
17th International Conference on Similarity Search and Applications (SISAP), rok: 2024
-
Petri Nets for Smart Grids: The Story So Far
The 39th ACM/SIGAPP Symposium on Applied Computing (SAC '24), rok: 2024