Jirí Vyskocil

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