Stop the war!Остановите войну!
for scientists:
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.
a service of 
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-07-01 20:30 CEST 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:
