Jirí Vyskocil

According to our database, Jirí Vyskocil authored at least 32 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

VinVL+L: Enriching Visual Representation with Location Context in VQA.

Jirí Vyskocil, Lukás Picek

Proceedings of the 26th Computer Vision Winter Workshop (CVWW 2023), 2023

2022

PyMES: Distributed Manufacturing Execution System for Flexible Industry 4.0 Cyber-Physical Production Systems.

Petr Novák, Petr Douda, Petr Kadera, Jirí Vyskocil

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022

Infrastructure for spatiotemporal exploration of interregional and international interaction of epidemiological data (DEMO PAPER).

Adam Mertel, Wildan Abdussalam, Jirí Vyskocil, Justin M. Calabrese

Proceedings of the 30th International Conference on Advances in Geographic Information Systems, 2022

Feature-Based Multi-Object Tracking With Maximally One Object per Class.

Jan Krejcí, Ondrej Straka, Jirí Vyskocil, Miroslav Jirík, Uta Dahmen

Proceedings of the 25th International Conference on Information Fusion, 2022

2021

Leveraging Iterative Plan Refinement for Reactive Smart Manufacturing Systems.

Bernhard Wally, Jirí Vyskocil, Petr Novák, Christian Huemer, Radek Sindelár, Petr Kadera, Alexandra Mazak-Huemer, Manuel Wimmer

IEEE Trans Autom. Sci. Eng., 2021

Product-Process-Resource Asset Networks as Foundation for Improving CPPS Engineering.

Dietmar Winkler, Petr Novák, Kristof Meixner, Jirí Vyskocil, Felix Rinker, Stefan Biffl

Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

PyAML: Enhancing AutomationML for Advanced Virtualization of Industry 4.0 Cyber-Physical Production Systems with Python Code Injections.

Petr Novák, Petr Douda, Jirí Vyskocil, Bernhard Wally

Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

Improving web user interface element detection using Faster R-CNN.

Jirí Vyskocil, Lukás Picek

Proceedings of the Working Notes of CLEF 2021 - Conference and Labs of the Evaluation Forum, Bucharest, Romania, September 21st - to, 2021

Industry 4.0 Asset-based Risk Mitigation for Production Operation.

Dietmar Winkler, Petr Novák, Jirí Vyskocil, Kristof Meixner, Stefan Biffl

Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

2020

Calibrating Industrial Robots with Absolute Position Tracking System.

Petr Novák, Simon Stoszek, Jirí Vyskocil

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

2019

Flexible Production Systems: Automated Generation of Operations Plans Based on ISA-95 and PDDL.

Bernhard Wally, Jirí Vyskocil, Petr Novák, Christian Huemer, Radek Sindelár, Petr Kadera, Alexandra Mazak, Manuel Wimmer

IEEE Robotics Autom. Lett., 2019

Production Planning with IEC 62264 and PDDL.

Bernhard Wally, Jirí Vyskocil, Petr Novák, Christian Huemer, Radek Sindelár, Petr Kadera, Alexandra Mazak, Manuel Wimmer

Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

Plan Executor MES: Manufacturing Execution System Combined with a Planner for Industry 4.0 Production Systems.

Petr Novák, Jirí Vyskocil, Petr Kadera

Proceedings of the Industrial Applications of Holonic and Multi-Agent Systems, 2019

Engineering Roles and Information Modeling for Industry 4.0 Production System Engineering.

Petr Novák, Jirí Vyskocil, Petr Kadera, Lukas Kathrein, Kristof Meixner, Dietmar Winkler, Stefan Biffl

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

2017

System Description: Statistical Parsing of Informalized Mizar Formulas.

Cezary Kaliszyk, Josef Urban, Jirí Vyskocil

Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017

Automating Formalization by Statistical and Semantic Parsing of Mathematics.

Cezary Kaliszyk, Josef Urban, Jirí Vyskocil

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

2016

Semantic Parsing of Mathematics by Context-based Learning from Aligned Corpora and Theorem Proving.

Cezary Kaliszyk, Josef Urban, Jirí Vyskocil

CoRR, 2016

2015

Improving Statistical Linguistic Algorithms for Parsing Mathematics.

Cezary Kaliszyk, Josef Urban, Jirí Vyskocil

Proceedings of the IWIL@LPAR 2015, 2015

Learning to Parse on Aligned Corpora (Rough Diamond).

Cezary Kaliszyk, Josef Urban, Jirí Vyskocil

Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

Efficient Semantic Features for Automated Reasoning over Large Theories.

Cezary Kaliszyk, Josef Urban, Jirí Vyskocil

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Lemmatization for Stronger Reasoning in Large Theories.

Cezary Kaliszyk, Josef Urban, Jirí Vyskocil

Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

Certified Connection Tableaux Proofs for HOL Light and TPTP.

Cezary Kaliszyk, Josef Urban, Jirí Vyskocil

Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015

System Description: E.T. 0.1.

Cezary Kaliszyk, Stephan Schulz, Josef Urban, Jirí Vyskocil

Proceedings of the Automated Deduction - CADE-25, 2015

2014

Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description.

Cezary Kaliszyk, Josef Urban, Jirí Vyskocil, Herman Geuvers

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

Machine Learner for Automated Reasoning 0.4 and 0.5.

Cezary Kaliszyk, Josef Urban, Jirí Vyskocil

Proceedings of the 4th Workshop on Practical Aspects of Automated Reasoning, 2014

2013

Theorem Proving in Large Formal Mathematics as an Emerging AI Field.

Josef Urban, Jirí Vyskocil

Proceedings of the Automated Reasoning and Mathematics, 2013

2011

MaLeCoP Machine Learning Connection Prover.

Josef Urban, Jirí Vyskocil, Petr Stepánek

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011

2010

Automated Proof Compression by Invention of New Definitions.

Jirí Vyskocil, David Stanovský, Josef Urban

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

2008

MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance.

Josef Urban, Geoff Sutcliffe, Petr Pudlák, Jirí Vyskocil

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

2007

Encoding of Planning Problems and Their Optimizations in Linear Logic.

Lukás Chrpa, Pavel Surynek, Jirí Vyskocil

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2007

Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation.

Jirí Vyskocil, Petr Stepánek

Proceedings of the MICAI 2007: Advances in Artificial Intelligence, 2007

Solving Difficult Problems by Viewing them as Structured Dense Graphs.

Pavel Surynek, Lukás Chrpa, Jirí Vyskocil

Proceedings of the 3rd Indian International Conference on Artificial Intelligence, 2007