Activities per year
Activities
- 100 - 150 out of 412 results
Search results
-
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
-
Efficient Model-Based Diagnosis of Sequential Circuits
Ingo Pill (Speaker)
11 Nov 2019Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
A Note on Planar Monohedral Tilings
Birgit Vogtenhuber (Speaker)
21 Mar 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
-
Planar 3-SAT with a Clause/Variable Cycle
Alexander Pilz (Speaker)
2018Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
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
-
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
-
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
-
Predicting and Testing System Response-Times
Richard Alexander Schumi (Speaker)
27 Sept 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
-
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
-
European Driving License for Robotics and Intelligent Systems
Martin Kandlhofer (Speaker)
Jan 2018Activity: Talk or presentation › Talk at conference or symposium › Science to public
-
Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles, ICTSS 2017
Richard Alexander Schumi (Speaker)
9 Oct 2017Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Statistical Model Checking Meets Property-Based Testing, ICST 2017
Richard Alexander Schumi (Speaker)
16 Mar 2017Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model
Ingo Pill (Speaker)
26 Sept 2017Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Lombardi Drawings of Knots and Links
Birgit Vogtenhuber (Speaker)
17 Feb 2017Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Property-Based Testing with External Test-Case Generators, ICST Workshops 2017
Richard Alexander Schumi (Speaker)
17 Mar 2017Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
39th German Conference on Artificial Intelligence
Franz Wotawa (Speaker)
2016Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
AAAI Conference on Artificial Intelligence, Symposium on Educational Advances in Artificial Intelligence
Martin Kandlhofer (Speaker)
13 Feb 2016 → 14 Feb 2016Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
27th International Workshop on Principles of Diagnosis
Roxane Koitz (Speaker)
2016Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Annual Conference of the Prognostics and Health Management Society 2016
Roxane Koitz (Speaker)
2016Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Annual Conference of the Prognostics and Health Management Society 2016
Ingo Hans Pill (Speaker)
2016Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
14th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2016
Richard Alexander Schumi (Speaker)
18 Nov 2016Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
27th International Workshop on Principles of Diagnosis
Ingo Hans Pill (Speaker)
2016Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Ninth IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2016
Richard Alexander Schumi (Speaker)
11 Apr 2016Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
IEEE Conference on Frontiers in Education (FIE) 2016
Martin Kandlhofer (Speaker)
16 Oct 2016Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
European Robotics Forum 2015
Martin Kandlhofer (Speaker)
11 Mar 2015 → 13 Mar 2015Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Scratch Creative Communities
Bernadette Spieler (Speaker)
12 Aug 2015 → 15 Aug 2015Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes
Roxane Koitz (Speaker)
2 Sept 2015Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
International Symposium on Software Reliability Engineering
Ingo Hans Pill (Speaker)
2 Nov 2015Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Scratch Conference 2015 - Creative Communities
Christian Schindler (Speaker)
12 Aug 2015 → 15 Aug 2015Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
Florian Lukas Lorber (Speaker)
2 Sept 2015 → 4 Sept 2015Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
International Symposium on Software Reliability Engineering
Birgit Gertraud Hofer (Speaker)
5 Nov 2015Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
International Conference on Software Quality, Reliability and Security
Birgit Gertraud Hofer (Speaker)
4 Aug 2015Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Annual Conference of the Prognostics and Health Management Society
Roxane Koitz (Speaker)
20 Oct 2015Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
TAP
Stefan Tiran (Speaker)
22 Jul 2015Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
International Conference on Tests And Proofs
Elisabeth Jöbstl (Speaker)
22 Jul 2015 → 24 Jul 2015Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
IEEE 8th Int. Conf. on Software Testing, Verification and Validation, ICST 2015, PhD Symposium
Stefan Tiran (Speaker)
15 Apr 2015Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
International Joint Conference on Artificial Intelligence
Roxane Koitz (Speaker)
27 Jul 2015Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Festschrift Symposium in Honor of Jose Nuno Oliveira
Bernhard Aichernig (Speaker)
26 Sept 2015Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
International Symposium on Software Reliability Engineering
Ingo Hans Pill (Speaker)
2 Nov 2015Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
International Symposium on Software Reliability Engineering
Ingo Hans Pill (Speaker)
2 Nov 2015 → 5 Nov 2015Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Annual Conference of the Prognostics and Health Management Society
Ingo Hans Pill (Speaker)
18 Oct 2015 → 22 Oct 2015Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
International Conference on Robotics in Education
Martin Kandlhofer (Speaker)
14 Jul 2014Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
1st Knowledge Representation and Reasoning Rome Symposium (KRRR)
Gerald Steinbauer (Speaker)
18 Nov 2014Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
1st Knowledge Representation and Reasoning Rome Symposium (KRRR)
Gerald Steinbauer (Speaker)
18 Nov 2014Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
IEEE International Symposium on Safety Security and Rescue Robotics
Gerald Steinbauer (Speaker)
27 Oct 2014 → 30 Oct 2014Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Secure Business Austria, IMPACT 2014
Franz Wotawa (Speaker)
22 May 2014Activity: Talk or presentation › Talk at conference or symposium › Science to science