Activities per year
Activities
- 50 - 100 out of 412 results
Search results
-
On Compatible Matchings
Daniel Perz (Speaker)
2021Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Extracting information from driving data using k-means clustering
Nour Chetouane (Speaker)
10 Jul 2021Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Step-wise Development of Provably Correct Actor Systems
Bernhard Aichernig (Speaker)
25 Oct 2021Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
A framework for the automation of testing computer vision systems
Lorenz Klampfl (Speaker)
20 May 2021 → 21 May 2021Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning
Martin Tappler (Speaker)
21 Jun 2021Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Adaptive Shielding under Uncertainty
Martin Tappler (Speaker)
27 May 2021Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
A Knowledge-based Configurator for Building Magic: The Gathering Card Decks
Alexander Felfernig (Speaker)
16 Sept 2021Activity: Talk or presentation › Talk at conference or symposium › Science to public
-
How to Encourage girls to code Through Embroidery Patterns?
Sarina Gursch (Speaker)
21 Jun 2021Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Towards Automated Testing and Debugging of Feature Models
Alexander Felfernig (Speaker)
31 May 2021Activity: Talk or presentation › Talk at conference or symposium › Science to public
-
Perfect Matchings with Crossings
Rosna Paul (Speaker)
7 Jun 2021Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Group Recommendation Techniques for Feature Modeling and Configuration
Viet Man Le (Speaker)
21 May 2021Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
On the Use of Answer Set Programming for Model-based Diagnosis
Franz Wotawa (Speaker)
25 Sept 2020Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Aufstieg der Künstlichen Intelligenz - Chancen und Grenzen für Unternehmen
Martin Gebser (Speaker)
2 Apr 2020Activity: Talk or presentation › Talk at conference or symposium › Science to public
-
Was leistet künstliche Intelligenz? Aktuelle Chancen, Trends und Risiken
Martin Gebser (Speaker)
13 Jan 2020Activity: Talk or presentation › Talk at conference or symposium › Science to public
-
Master or servant of mankind? The Rise of Artificial Intelligence
Martin Gebser (Speaker)
18 Sept 2020Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Simple Drawings of Km,n Contain Shooting Stars
Alexandra Weinberger (Speaker)
2020Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Supporting Feature Model-Based Configuration in Microsoft Excel
Viet Man Le (Speaker)
11 Sept 2020Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Plane Spanning Trees in Edge-Colored Simple Drawings of K_n
Johannes Obenaus (Speaker), Rosna Paul (Speaker) & Alexandra Weinberger (Speaker)
2020Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Explaining Object Motion Using Answer Set Programming
Lorenz Klampfl (Speaker)
24 Sept 2020Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software
Franz Wotawa (Speaker)
24 Oct 2020Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Applications of Answer Set Programming
Martin Gebser (Speaker)
19 Sept 2020Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
On Using Ontologies for Testing Compilers, 9th International Workshop on Combinatorial Testing
Franz Wotawa (Speaker)
24 Oct 2020Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Mutation Testing for Artificial Neural Networks: An Empirical Evaluation
Lorenz Klampfl (Speaker)
11 Dec 2020Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Empty Rainbow Triangles in k-colored Point Sets
Daniel Perz (Speaker)
16 Mar 2020Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Drawing on SFL for Making Intelligent Decisions in RBL
Franz Wotawa (Speaker)
26 Sept 2020Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
A Conversion of Feature Models into an Executable Representation in Microsoft Excel
Viet Man Le (Speaker)
25 Sept 2020Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Drawing Graphs as Spanners
Birgit Vogtenhuber (Speaker)
26 Jun 2020Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Interrogating Virtual Agents: In Quest of Security Vulnerabilities
Franz Wotawa (Speaker)
9 Dec 2020Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
EDLRIS - European Driving License for Robots and Intelligent Systems: Enabling the Creation of Intelligent Things
Martin Kandlhofer (Speaker)
25 Jun 2019Activity: Talk or presentation › Talk at conference or symposium › Science to public
-
Künstliche Intelligenz. Diener oder Zauberlehrling?
Martin Gebser (Speaker)
13 Nov 2019Activity: Talk or presentation › Talk at conference or symposium › Science to public
-
Lifting Robot Exploration to 3D Environments
Richard Halatschek (Speaker)
4 Sept 2019Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Investigating the Effectiveness of Mutation Testing Tools in the Context of Deep Neural Networks
Nour Chetouane (Speaker)
14 Jun 2019Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
MINT-Robo: Empowering Gifted High School Students with Robotics
Martin Kandlhofer (Speaker)
Oct 2019Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Hamiltonian meander paths and cycles on bichromatic point sets
Birgit Vogtenhuber (Speaker)
2 Jul 2019Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Triangles in the colored Euclidean plane
Daniel Perz (Speaker)
18 Mar 2019Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Extending Automated FLTL Test Oracles with Diagnostic Support
Ingo Pill (Speaker)
29 Oct 2019Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Distributed Answer Set Coloring: Stable Models Computation via Graph Coloring
Marco De Bortoli (Speaker)
2019Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
A Rule-Based Smart Control for Fail-Operational Systems
Martin Jochen Zimmermann (Speaker)
2019Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Software Testing: According to Plan!
Franz Wotawa (Speaker)
22 Apr 2019Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
On the Industrial Application of Combinatorial Testing for Autonomous Driving Functions
Franz Wotawa (Speaker)
23 Apr 2019Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Performance Comparison of Two Search-Based Testing Strategies for ADAS System Validation
Martin Jochen Zimmermann (Speaker)
2019Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Graphs with large total angular resolution
Daniel Perz (Speaker)
18 Sept 2019Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Predicting and Testing Latencies with Deep Learning: an IoT Case Study
Bernhard Aichernig (Speaker)
10 Oct 2019Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Exploiting Observations from Combinatorial Testing for Diagnostic Reasoning
Ingo Pill (Speaker)
12 Nov 2019Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
European Driving License for Robots and Intelligent Systems
Julia Petra Laßnig (Speaker), Gerald Steinbauer (Speaker) & Martin Kandlhofer (Speaker)
Nov 2019Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Enabling the Creation of Intelligent Things: Bringing Artificial Intelligence and Robotics to Schools
Martin Kandlhofer (Speaker)
Oct 2019Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Genetic Algorithm-based Test Parameter Optimization for ADAS System Testing
Florian Steffen Klück (Speaker)
22 Jul 2019 → 26 Jul 2019Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Development of a Scenario Simulation Platform to Support Autonomous Driving Verification
Christoph Pilz (Speaker), Gerald Steinbauer (Contributor), Markus Schratter (Contributor) & Daniel Watzenig (Contributor)
4 Nov 2019 → 8 Nov 2019Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
On the 2-Colored Crossing Number
Birgit Vogtenhuber (Speaker)
20 Mar 2019Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
On the 2-Colored Crossing Number
Birgit Vogtenhuber (Speaker)
18 Sept 2019Activity: Talk or presentation › Talk at conference or symposium › Science to science