default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID24. CS&P 2015: Rzeszow, Poland
- Zbigniew Suraj, Ludwik Czaja:
Proceedings of the 24th International Workshop on Concurrency, Specification and Programming, Rzeszow, Poland, September 28-30, 2015. CEUR Workshop Proceedings 1492, CEUR-WS.org 2015
Part 1
- Mikhail Moshkov:
Dynamic Programming Approach for Study of Decision Trees. 1 - Andrzej Skowron:
Rough Sets in Interactive Granular Computing. 2 - Louchka Popova-Zeugmann:
Time and Concurrency - Three Approaches for Intertwining Time and Petri Nets. 3 - Fawaz Alsolami, Talha Amin, Mikhail Moshkov, Beata Zielosko:
Comparison of Heuristics for Optimization of Association Rules. 4-11 - Fawaz Alsolami, Talha Amin, Igor Chikalov, Mikhail Moshkov, Beata Zielosko:
Dynamic Programming Approach for Construction of Association Rule Systems. 12-21 - Jafar Akhundov, Peter Tröger, Matthias Werner:
Considering Concurrency in Early Spacecraft Design Studies. 22-30 - Roberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo:
Specialized Predictor for Reaction Systems with Context Properties. 31-43 - Kamila Barylska, Lukasz Mikulski:
On Decidability of Persistence Notions. 44-56 - Marcin Benke:
Specifying Functional Programs with Intuitionistic First Order Logic. 57-63 - Agnieszka Nowak-Brzezinska, Alicja Wakulicz-Deja:
Exploration of Knowledge Bases Inspired by Rough Set Theory. 64-75 - Michael Köhler-Bußmeier, Frank Heitmann:
Complexity Studies for Safe and Fan-Bounded Elementary Hornets. 76-87 - Ming Chai, Bernd-Holger Schlingloff:
Monitoring with Parametrized Extended Life Sequence Charts. 88-102 - Ludwik Czaja:
Remarks on Memory Consistency Description. 103-114 - Sylwia Buregwa-Czuma, Jan G. Bazan, Lech Zareba, Stanislawa Bazan-Socha, Przemyslaw Wiktor Pardel, Barbara Sokolowska, Lukasz Dydo:
The Method for Describing Changes in the Perception of Stenosis in Blood Vessels Caused by an Additional Drug. 115-125 - Soma Dutta, Piotr Wasilewski:
Dialogue in Hierarchical Learning of a Concept Using Prototypes and Counterexamples. 126-133 - Natalia Olegovna Garanina, Elena A. Sidorova:
An Approach to Ambiguity Resolution for Ontology Population. 134-145 - Pawel Góra, Przemyslaw Wiktor Pardel:
Application of Genetic Algorithms and High-Performance Computing to the Traffic Signal Setting Problem. 146-157 - Adam Grabowski:
Lattice Theory for Rough Sets - An Experiment in Mizar. 158-169 - Damas P. Gruska:
Gained and Excluded Classified Actions by Dynamic Security Policies. 170-181 - Miroslaw Hajder, Janusz Kolbusz, Roman Korostenskyi:
Designing Reliable Communication for Heterogeneous Computer Systems. 182-190 - Andrzej Janusz
, Dominik Slezak, Sebastian Stawicki, Mariusz Rosiak:
Knowledge Pit - A Data Challenge Platform. 191-195 - Boleslaw Jaskula, Krzysztof Pancerz, Jaroslaw Szkola:
Toward Synchronization of EEG and Eye-tracking Data Using an Expert System. 196-198 - Marek Jaszuk, Teresa Mroczek, Barbara Fryc:
Data Integration through Clustering and Finding Statistical Relations - Validation of Approach. 199-210 - Malgorzata Przybyla-Kasperek:
Selected Methods of Combining Classifiers, when Predictions Are Stored in Probability Vectors, in a Dispersed Decision-Making System. 211-222 - Janusz Kolbusz, Pawel Rózycki:
Outliers Elimination for Error Correction Algorithm Improvement. 223-234 - Maciej Kopczynski, Tomasz Grzes, Jaroslaw Stepaniuk:
Core for Large Datasets: Rough Sets on FPGA. 235-246 - Michal Kovác, Damas P. Gruska:
Sequential P Systems with Active Membranes Working on Sets. 247-257
Part 2
- Karol Kurach, Krzysztof Pawlowski:
Detecting Hazardous Events from Sequential Data with Multilayer Architectures. 1-10 - Piotr Lasek:
Instance-Level Constraints in Density-Based Clustering. 11-18 - Irina A. Lomazova, Louchka Popova-Zeugmann:
Controlling Petri Net Behavior Using Time Constraints. 19-33 - Michal Mankowski, Tadeusz Luba, Cezary Jankowski:
Evaluation of Decision Table Decomposition Using Dynamic Programming Classifiers. 34-43 - Linh Anh Nguyen:
ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic. 44-56 - Wieslaw Paja, Krzysztof Pancerz:
Estimation and Feature Selection by Application of Knowledge Mined from Decision Rules Models. 57-68 - Zofia Machnicka, Marek Palasinski:
Information Systems and Soft Sets. 69-72 - Przemyslaw Wiktor Pardel, Jan G. Bazan, Jacek Zarychta, Stanislawa Bazan-Socha:
An Approach for Resolving Conflicts in Automatic Medical Objects Classification. 73-84 - Vladislav V. Podymov:
An Afficient Equivalence-Checking Algorithm for a Model of Programs with Commutative and Absorptive Statements. 85-96 - Lech T. Polkowski:
Betweenness, Lukasiewicz Rough Inclusions, Euclidean Representations in Information Systems, Hyper-granules, Conflict Resolution. 97-110 - Oleksandr Provotar:
Fuzzy Systems of Logical Inference and Their Applications. 111-119 - Pawel Rózycki, Janusz Kolbusz:
Enhanced Error Correction Algorithm for RBF Neural Networks. 120-129 - Bohdan Rytsar:
The Minimization Method of Boolean Functions in Polynomial Set-theoretical Format. 130-146 - Danilo Schmidt, Matthias Niemann, Gabriela Lindemann von Trzebiatowski:
The Handling of Missing Values in Medical Domains with Respect to Pattern Mining Algorithms. 147-154 - Andrew Schumann, Krzysztof Pancerz:
Petri Net Models of Simple Rule-Based Systems for Programming Physarum Machines. 155-160 - Roman Siminski, Alicja Wakulicz-Deja:
Rough Sets Inspired Extension of Forward Inference Algorithm. 161-172 - Jaroslaw Skaruz, Artur Niewiadomski, Wojciech Penczek:
Hybrid Planning by Combining SMT and Simulated Annealing. 173-176 - Zbigniew Suraj, Piotr Grochowalski, Sibasis Bandyopadhyay:
Optimization of Backward Fuzzy Reasoning Based on Rule Knowledge. 177-186 - Zbigniew Suraj, Agnieszka Lasek:
Inverted Fuzzy Implications in Backward Reasoning Without Yager Implication. 187-195 - Bozena Wozna-Szczesniak, Agnieszka M. Zbrzezny, Andrzej Zbrzezny:
SMT-based Searching for k-quasi-optimal Runs in Weighted Timed Automata. 196-206 - Wojciech Swieboda, Hung Son Nguyen:
Reduct Calculation and Discretization of Numeric Attributes in Sparse Decision Systems. 207-210 - Dmytro Terletskyi:
Exploiters-Based Knowledge Extraction in Object-Oriented Knowledge Representation. 211-221 - Irina B. Virbitskaite, Elena N. Bozhenkova, Evgeny Erofeev:
Space-Time Viewpoints for Concurrent Processes Represented by Relational Structures. 222-233 - Piotr Wasilewski:
From Free Will Debate to Embodiment of Fuzzy Logic into Washing Machines: On Fuzzy and Rough Sets Approaches to Vagueness Modeling. 234-236 - Beata Zielosko:
Global Optimization of Exact Association Rules Relative to Length. 237-247
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 2025-12-04 01:26 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:
