Petr Krajca

31 papers A* 1B 6C 3Misc 4Journal 13Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
GreCon3: Mitigating High Resource Utilization of GreCon Algorithms for Boolean Matrix Factorization.
CoRR
Petr Krajca, Martin Trnecka
2023 — conf
Decoupling Types and Representations of Values for Runtime Optimizations.
FedCSIS (Position Papers)
Petr Krajca, Radomir Skrabal
2022 J jnl
LCM from FCA point of view: A CbO-style algorithm with speed-up features.
Int. J. Approx. Reason.
Radek Janostik, Jan Konecny, Petr Krajca
2022 J jnl
On pruning techniques in map-reduce style CbO algorithms.
Ann. Math. Artif. Intell.
Jan Konecny, Petr Krajca
2022 J jnl
Pruning techniques in LinCbO for the computation of the Duquenne-Guigues basis.
Inf. Sci.
Radek Janostik, Jan Konecny, Petr Krajca
2021 Misc conf
Improving the Performance of Lindig-Style Algorithms with Empty Intersections.
ICCS
Petr Krajca
2021 J jnl
LinCbO: Fast algorithm for computation of the Duquenne-Guigues basis.
Inf. Sci.
Radek Janostik, Jan Konecny, Petr Krajca
2021 C conf
Pruning Techniques in LinCbO for Computation of the Duquenne-Guigues Basis.
ICFCA
Radek Janostik, Jan Konecny, Petr Krajca
2021 B conf
Reducing Negative Impact of Noise in Boolean Matrix Factorization with Association Rules.
IDA
Petr Krajca, Martin Trnecka
2021 J jnl
Systematic categorization and evaluation of CbO-based algorithms in FCA.
Inf. Sci.
Jan Konecny, Petr Krajca
2020 J jnl
Interface between Logical Analysis of Data and Formal Concept Analysis.
Eur. J. Oper. Res.
Radek Janostik, Jan Konecny, Petr Krajca
2020 — conf
LCM is Well Implemented CbO: Study of LCM from FCA Point of View.
CLA
Radek Janostik, Jan Konecny, Petr Krajca
2020 J jnl
LCM is well implemented CbO: study of LCM from FCA point of view.
CoRR
Radek Janostik, Jan Konecny, Petr Krajca
2020 J jnl
LinCbO: fast algorithm for computation of the Duquenne-Guigues basis.
CoRR
Radek Janostik, Jan Konecny, Petr Krajca
2020 Misc conf
Pruning in Map-Reduce Style CbO Algorithms.
ICCS
Jan Konecny, Petr Krajca
2019 J jnl
On attribute reduction in concept lattices: The polynomial time discernibility matrix-based method becomes the CR-method.
Inf. Sci.
Jan Konecny, Petr Krajca
2019 C conf
Parallelization of the GreConD Algorithm for Boolean Matrix Factorization.
ICFCA
Petr Krajca, Martin Trnecka
2018 B conf
Basic Level Concepts as a Means to Better Interpretability of Boolean Matrix Factors and Their Application to Clustering.
MDAI
Petr Krajca, Martin Trnecka
2018 J jnl
On attribute reduction in concept lattices: Experimental evaluation shows discernibility matrix based methods inefficient.
Inf. Sci.
Jan Konecny, Petr Krajca
2015 B conf
Optimized and Parallel Query Processing in Similarity-Based Databases.
MDAI
Petr Krajca
2013 — conf
Foundations of relational similarity-based query language RESIQL.
FOCI
Petr Krajca, Vilém Vychodil
2013 C conf
Incremental JIT Compiler for Implicitly Parallel Functional Language.
FedCSIS
Petr Krajca
2013 B conf
Query Optimization Strategies in Similarity-Based Databases.
MDAI
Petr Krajca, Vilém Vychodil
2012 J jnl
Computing Formal Concepts by Attribute Sorting.
Fundam. Informaticae
Petr Krajca, Jan Outrata, Vilém Vychodil
2011 A* conf
Using Frequent Closed Itemsets for Data Dimensionality Reduction.
ICDM
Petr Krajca, Jan Outrata, Vilém Vychodil
2010 — conf
Advances in Algorithms Based on CbO.
CLA
Petr Krajca, Jan Outrata, Vilém Vychodil
2010 J jnl
Parallel algorithm for computing fixpoints of Galois connections.
Ann. Math. Artif. Intell.
Petr Krajca, Jan Outrata, Vilém Vychodil
2010 Misc conf
Software transactional memory for implicitly parallel functional language.
SAC
Petr Krajca, Vilém Vychodil
2009 B conf
Comparison of Data Structures for Computing Formal Concepts.
MDAI
Petr Krajca, Vilém Vychodil
2009 Misc conf
Data parallel dialect of scheme: outline of the formal model, implementation, performance.
SAC
Petr Krajca, Vilém Vychodil
2009 B conf
Distributed Algorithm for Computing Formal Concepts Using Map-Reduce Framework.
IDA
Petr Krajca, Vilém Vychodil