default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID28th CS&P 2019: Olsztyn, Poland
- Krzysztof Ropiak, Lech Polkowski, Piotr Artiemjew:
Proceedings of the 28th International Workshop on Concurrency, Specification and Programming, Olsztyn, Poland, September 24-26th, 2019. CEUR Workshop Proceedings 2571, CEUR-WS.org 2020
Session 1: Rough Sets I
- Lech Polkowski:
On logical and mereological renderings of the Bayes theorem (short paper). - Hung Son Nguyen:
Applications of Tolerance Rough Set Model Semantic Text Analysis.
Session 2: Decision representations
- Ludwik Czaja:
Computing with Natural Numbers in Cause-Effect Structures. - Mohammad Azad, Igor Chikalov, Mikhail Moshkov:
Decision Trees for Knowledge Representation (short paper).
Session 3: Software security
- Damas P. Gruska, M. Carmen Ruiz:
Observations, Testing and Security. - Aliyu Tanko Ali, Damas P. Gruska:
Attack Protection Tree.
Invited talk
- Soma Dutta, Andrzej Jankowski, Andrzej Skowron:
Toward Data Science Computing Model: Interactive Granular Computing (IGrC) (short paper).
Session 4: Theory of automata
- Agnieszka M. Zbrzezny, Andrzej Zbrzezny:
Checking MTL Properties of Timed Automata with Dense Time using Satisfiability Modulo Theories (Extended Abstract). - Antonia Reißner, Matthias Werner:
A New Definition of Composition of LTIHA.
Session 5: Fuzzy logic
- Zbigniew Suraj, Oksana Olar, Yurii Bloshko:
Optimized Fuzzy Petri Nets and Their Application for Transport Logistics Problem. - Krzysztof Pancerz, Jaromir Sarzynski:
A Fuzzy Set Tool in the Classification and Prediction Software System (CLAPSS) (short paper).
Session 6: Specification
- Pawel Drozda, Arkadiusz Talun, Leszek Bukowski:
Emplobot - Design of the System (short paper). - Przemyslaw Czaus:
Unsupervised Graphical User Interface Learning (short paper).
Session 7: Inclusion Systems, Reactive Systems
- Adam Grabowski:
RIFs as the Formal Tool of Measuring Similarity between Sets (short paper). - Viorel Preoteasa, Timo Latvala, Kimmo Varpaaniemi:
Modelling Programmable Logic Controllers in Refinement Calculus of Reactive Systems.
Session 8: Rough sets II
- Krzysztof Ropiak:
Rules from Granules vs. Granulated Rules (short paper). - Lukasz Zmudzinski:
Rough Mereology Based CFill Algorithm for Robotic Path Planning (short paper).
Session 9: Learning systems
- Tomasz Krzywicki:
Application of Meta-Learning Methods in Recognition of Drums on the Basis of Short Soundsamples (short paper). - Piotr Artiemjew, Pawel Idzikowski:
Building an Ensemble of Naive Bayes Classifiers using Committee of Bootstraps and Monte Carlo splits for a various percentage of random objects from training set.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-01 00:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
