Activities per year
Activities
- 300 - 350 out of 412 results
Search results
-
AAAI Conference on Artificial Intelligence, Symposium on Educational Advances in Artificial Intelligence
Martin Kandlhofer (Speaker)
Feb 2018Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Predicting and Testing System Response-Times
Richard Alexander Schumi (Speaker)
27 Sept 2018Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Enabling the Creation of Intelligent Things; Project EDLRIS: Artificial Intelligence
Martin Kandlhofer (Speaker)
22 Nov 2018Activity: Talk or presentation › Talk at conference or symposium › Science to public
-
Towards Understanding and Managing Co-Creative Communities
Matthias Müller (Speaker), Wolfgang Vorraber (Speaker) & Wolfgang Slany (Speaker)
27 Jun 2018 → 28 Jun 2018Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
The RoboCup Rescue Victim Dataset
Peter Lorenz (Speaker) & Gerald Steinbauer (Contributor)
Aug 2018Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Statistical Model Checking of Response Times for Different System Deployments
Richard Alexander Schumi (Speaker)
6 Sept 2018Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
From Ontologies to Input Models for Combinatorial Testing
Franz Wotawa (Speaker)
1 Oct 2018Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
NP-Completeness of Max-Cut for Segment Intersection Graphs
Birgit Vogtenhuber (Speaker)
22 Mar 2018Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
European Driving License for Robotics and Intelligent Systems
Martin Kandlhofer (Speaker)
Jan 2018Activity: Talk or presentation › Talk at conference or symposium › Science to public
-
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
-
Triangles in the colored Euclidean plane
Daniel Perz (Speaker)
18 Mar 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
-
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
-
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
-
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
-
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
-
Using model-based reasoning for enhanced chatbot communication
Oliver Tazl (Speaker)
10 Jul 2019Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Chatbot testing using AI planning
Oliver Tazl (Speaker)
5 Apr 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
-
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
-
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
-
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
-
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
-
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
-
Lifting Robot Exploration to 3D Environments
Richard Halatschek (Speaker)
4 Sept 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
-
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
-
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
-
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
-
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
-
Efficient Model-Based Diagnosis of Sequential Circuits
Ingo Pill (Speaker)
11 Nov 2019Activity: 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
-
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
-
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
-
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
-
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
-
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
-
Applications of Answer Set Programming
Martin Gebser (Speaker)
19 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
-
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
-
Explaining Object Motion Using Answer Set Programming
Lorenz Klampfl (Speaker)
24 Sept 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
-
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 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
-
Drawing Graphs as Spanners
Birgit Vogtenhuber (Speaker)
26 Jun 2020Activity: Talk or presentation › Talk at conference or symposium › Science to science