default search action
29th CS&P 2021: Berlin, Germany
- Holger Schlingloff, Thomas Vogel:
Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS&P 2021), Berlin, Germany, September 27-28, 2021. CEUR Workshop Proceedings 2951, CEUR-WS.org 2021 - Alexander Knapp:
Specifying Event/Data-based Systems (keynote). 1 - Roman Milewski, Simon Heiden, Lars Grunske:
Evaluating Fault Localization Techniques with Bug Signatures and Joined Predicates. 2-17 - Robin Gröpler, Viju Sudhi, Emilio José Calleja García, Andre Bergmann:
NLP-Based Requirements Formalization for Automatic Test Case Generation. 18-30 - Ludwik Czaja:
Cause-Effect Structures Behaving like Reaction Systems. 31-45 - Soma Dutta, Andrzej Skowron:
Interactive Granular Computing Connecting Abstract and Physical Worlds: An Example. 46-59 - Elena N. Bozhenkova, Irina B. Virbitskaite:
On Semantics for Testing in Time Petri Nets. 60-71 - Roman R. Redziejowski:
Left Recursion by Recursive Ascent. 72-82 - Damas P. Gruska, M. Carmen Ruiz:
Process Opacity and Insertion Functions. 83-92 - Aliyu Tanko Ali, Damas P. Gruska:
Attack Trees with Time Constraints. 93-105 - Volha Taliaronak, Heinrich Mellmann, Verena V. Hafner:
Extended Abstract: Simulation of Interactions between Beehives. 106-112 - Eugen Puzynin, Heinrich Mellmann, Verena V. Hafner:
Extended Abstract: A Novel Mobile App for the Next Generation of Beekeepers. 113-116 - Hung Son Nguyen:
Efficient Machine Learning Methods over Pairwise Space (keynote). 117-119 - Grzegorz Slowinski:
Influence of Data Dimension Reduction, Feature Scaling and Activation Function on Machine Learning Performance. 120-125 - Mohammad Azad, Igor Chikalov, Shahid Hussain, Mikhail Moshkov:
Sorting by Decision Trees with Hypotheses (extended abstract). 126-130 - Agnieszka Boruta, Pawel Gburzynski, Ewa Kuznicka:
On Reliable Wireless Streaming of Real-time Sensor Data. 131-144 - Lukasz Skowronek, Pawel Góra, Marcin Mozejko, Arkadiusz Klemenko:
Graph-based Sparse Neural Networks for Traffic Signal Optimization. 145-155 - Roman Nestoruk, Grzegorz Slowinski:
Prediction of Football Games Results. 156-165 - Grzegorz Slowinski:
Dry Beans Classification Using Machine Learning. 166-173
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.