Jirí Vyskocil

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 18

Top Topics

Durative Actions

Absolute Position

Semantic Parsing

Production System

Top Venues

IEEE Robotics Autom. Lett.

Publications

Jirí Vyskocil, Lukás Picek
VinVL+L: Enriching Visual Representation with Location Context in VQA. CVWW (2023)
Adam Mertel, Wildan Abdussalam, Jirí Vyskocil, Justin M. Calabrese
Infrastructure for spatiotemporal exploration of interregional and international interaction of epidemiological data (DEMO PAPER). SIGSPATIAL/GIS (2022)
Petr Novák, Petr Douda, Petr Kadera, Jirí Vyskocil
PyMES: Distributed Manufacturing Execution System for Flexible Industry 4.0 Cyber-Physical Production Systems. SMC (2022)
Jan Krejcí, Ondrej Straka, Jirí Vyskocil, Miroslav Jirík, Uta Dahmen
Feature-Based Multi-Object Tracking With Maximally One Object per Class. FUSION (2022)
Bernhard Wally, Jirí Vyskocil, Petr Novák, Christian Huemer, Radek Sindelár, Petr Kadera, Alexandra Mazak-Huemer, Manuel Wimmer
Leveraging Iterative Plan Refinement for Reactive Smart Manufacturing Systems. IEEE Trans Autom. Sci. Eng. 18 (1) (2021)
Dietmar Winkler, Petr Novák, Kristof Meixner, Jirí Vyskocil, Felix Rinker, Stefan Biffl
Product-Process-Resource Asset Networks as Foundation for Improving CPPS Engineering. ETFA (2021)
Dietmar Winkler, Petr Novák, Jirí Vyskocil, Kristof Meixner, Stefan Biffl
Industry 4.0 Asset-based Risk Mitigation for Production Operation. CASE (2021)
Petr Novák, Petr Douda, Jirí Vyskocil, Bernhard Wally
PyAML: Enhancing AutomationML for Advanced Virtualization of Industry 4.0 Cyber-Physical Production Systems with Python Code Injections. ETFA (2021)
Jirí Vyskocil, Lukás Picek
Improving web user interface element detection using Faster R-CNN. CLEF (Working Notes) (2021)
Petr Novák, Simon Stoszek, Jirí Vyskocil
Calibrating Industrial Robots with Absolute Position Tracking System. ETFA (2020)
Bernhard Wally, Jirí Vyskocil, Petr Novák, Christian Huemer, Radek Sindelár, Petr Kadera, Alexandra Mazak, Manuel Wimmer
Production Planning with IEC 62264 and PDDL. INDIN (2019)
Bernhard Wally, Jirí Vyskocil, Petr Novák, Christian Huemer, Radek Sindelár, Petr Kadera, Alexandra Mazak, Manuel Wimmer
Flexible Production Systems: Automated Generation of Operations Plans Based on ISA-95 and PDDL. CoRR (2019)
Petr Novák, Jirí Vyskocil, Petr Kadera, Lukas Kathrein, Kristof Meixner, Dietmar Winkler, Stefan Biffl
Engineering Roles and Information Modeling for Industry 4.0 Production System Engineering. ETFA (2019)
Bernhard Wally, Jirí Vyskocil, Petr Novák, Christian Huemer, Radek Sindelár, Petr Kadera, Alexandra Mazak, Manuel Wimmer
Flexible Production Systems: Automated Generation of Operations Plans Based on ISA-95 and PDDL. IEEE Robotics Autom. Lett. 4 (4) (2019)
Petr Novák, Jirí Vyskocil, Petr Kadera
Plan Executor MES: Manufacturing Execution System Combined with a Planner for Industry 4.0 Production Systems. HoloMAS (2019)
Cezary Kaliszyk, Josef Urban, Jirí Vyskocil
Automating Formalization by Statistical and Semantic Parsing of Mathematics. ITP (2017)
Cezary Kaliszyk, Josef Urban, Jirí Vyskocil
System Description: Statistical Parsing of Informalized Mizar Formulas. SYNASC (2017)
Cezary Kaliszyk, Josef Urban, Jirí Vyskocil
Semantic Parsing of Mathematics by Context-based Learning from Aligned Corpora and Theorem Proving. CoRR (2016)
Cezary Kaliszyk, Josef Urban, Jirí Vyskocil
Learning to Parse on Aligned Corpora (Rough Diamond). ITP (2015)
Cezary Kaliszyk, Josef Urban, Jirí Vyskocil
Lemmatization for Stronger Reasoning in Large Theories. FroCos (2015)
Cezary Kaliszyk, Josef Urban, Jirí Vyskocil
Certified Connection Tableaux Proofs for HOL Light and TPTP. CPP (2015)
Cezary Kaliszyk, Stephan Schulz, Josef Urban, Jirí Vyskocil
System Description: E.T. 0.1. CADE (2015)
Cezary Kaliszyk, Josef Urban, Jirí Vyskocil
Efficient Semantic Features for Automated Reasoning over Large Theories. IJCAI (2015)
Cezary Kaliszyk, Josef Urban, Jirí Vyskocil
Improving Statistical Linguistic Algorithms for Parsing Mathematics. IWIL@LPAR (2015)
Cezary Kaliszyk, Josef Urban, Jirí Vyskocil
Machine Learner for Automated Reasoning 0.4 and 0.5. CoRR (2014)
Cezary Kaliszyk, Josef Urban, Jirí Vyskocil
Certified Connection Tableaux Proofs for HOL Light and TPTP. CoRR (2014)
Cezary Kaliszyk, Josef Urban, Jirí Vyskocil, Herman Geuvers
Developing Corpus-based Translation Methods between Informal and Formal Mathematics: Project Description. CoRR (2014)
Cezary Kaliszyk, Josef Urban, Jirí Vyskocil, Herman Geuvers
Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description. CICM (2014)
Cezary Kaliszyk, Josef Urban, Jirí Vyskocil
Machine Learner for Automated Reasoning 0.4 and 0.5. PAAR@IJCAR (2014)
Josef Urban, Jirí Vyskocil
Theorem Proving in Large Formal Mathematics as an Emerging AI Field. Automated Reasoning and Mathematics (2013)
Josef Urban, Jirí Vyskocil
Theorem Proving in Large Formal Mathematics as an Emerging AI Field CoRR (2012)
Josef Urban, Jirí Vyskocil, Petr Stepánek
MaLeCoP Machine Learning Connection Prover. TABLEAUX (2011)
Jirí Vyskocil, David Stanovský, Josef Urban
Automated Proof Compression by Invention of New Definitions. LPAR (Dakar) (2010)
Josef Urban, Geoff Sutcliffe, Petr Pudlák, Jirí Vyskocil
MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance. IJCAR (2008)
Jirí Vyskocil, Petr Stepánek
Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation. MICAI (2007)
Lukás Chrpa, Pavel Surynek, Jirí Vyskocil
Encoding of Planning Problems and Their Optimizations in Linear Logic. INAP/WLP (2007)
Pavel Surynek, Lukás Chrpa, Jirí Vyskocil
Solving Difficult Problems by Viewing them as Structured Dense Graphs. IICAI (2007)