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