Zurück zur Hauptseite von "Praxis der Forschung"
Praxis der Forschung
Veröffentlichungen im Rahmen von "Praxis der Forschung"
Im Folgenden sind aus Projekten im Rahmen von "Praxis der Forschung" entstandene Veröffentlichungen aufgelistet:
Lieber nach Kategorien gruppieren.
Beyond Deep Ensembles: A Large-Scale Evaluation of Bayesian Deep Learning under Distribution Shift Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, December 10-16, 2021, New Orleans, US |
Towards Detecting Complete Chest Recoil from Smartphone Vibration Strength during Cardiopulmonary Resuscitation 2022 ACM International Symposium on Wearable Computers (ISWC 2022) |
MEGAN: Multi-Explanation Graph Attention Network CoRR abs/2211.13236 |
Black-Box Accumulation Based on Lattices 18th IMA International Conference on Cryptography and Coding (IMACC 2021) |
Geometric Path Enumeration for Equivalence Verification of Neural Networks 33rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2021) |
Deep Episodic Memory for Verbalization of Robot Experience IEEE Robotics and Automation Letters (RA-L) 6(3) (Best Paper Award at the IEEE/RAS International Conference on Humanoid Robots (Humanoids) Interactive Session) |
Finding a Universal Execution Strategy for Model Transformation Networks 24th International Conference on Fundamental Approaches to Software Engineering (FASE 2021) held as part of ETAPS 2021: European Joint Conferences on Theory and Practice of Software |
Representing Spatial Object Relations as Parametric Polar Distribution for Scene Manipulation Based on Verbal Commands IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2020) |
Verified Construction of Fair Voting Rules 29th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2019), Revised Selected Papers |
Context-Based Confidentiality Analysis for Industrial IoT 46th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2020) |
Sentient Destination Prediction User Modeling and User-Adapted Interaction (UMUAI), Special Issue on Harnessing Personal Tracking Data for Personalization and Sense-Making (HPTDPS 2019) |
The Local Queue Number of Graphs with Bounded Treewidth 28th International Symposium on Graph Drawing and Network Visualization (GD 2020), Revised Selected Papers |
Bimodal Speech Emotion Recognition Using Pre-Trained Language Models Life Long Learning for Spoken Language Systems Workshop affiliated with ASRU 2019: IEEE Automatic Speech Recognition and Understanding Workshop |
Card-Based Cryptography Meets Formal Verification 25th International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT 2019) |
Formal Property-Oriented Design of Voting Rules Using Composable Modules 6th International Conference on Algorithmic Decision Theory (ADT 2019) |
SERUM: A Lightweight Approach for Secure Network Route Monitoring in Industrial Networks 24th IEEE Symposium on Computers and Communications (ISCC 2019) |
A Framework for Evaluating Motion Segmentation Algorithms IEEE/RAS International Conference on Humanoid Robots (Humanoids 2017) |
The Impact of the Frame of Reference on Attention Shifts Between Augmented Reality and Real-World Environment IEEE International Symposium on Mixed and Augmented Reality (ISMAR-Adjunct 2017) (Poster) |
VibrationCap: Studying Vibrotactile Localization on the Human Head with an Unobtrusive Wearable Tactile Display 21st International Symposium on Wearable Computers (ISWC 2017) |
SemSlice: Exploiting Relational Verification for Automatic Program Slicing 13th International Conference on integrated Formal Methods (iFM 2017) |
Participatory Sensing or Participatory Nonsense? – Mitigating the Effect of Human Error on Data Quality in Citizen Science Interactive, Mobile, Wearable and Ubiquitous Technologies (IMWUT) 1(3) |
Towards a Shared Evaluation Environment for Software-defined Networking Studierendenkonferenz Informatik (SKILL 2017) im Rahmen der INFORMATIK 2017 (Best Paper Award) |
Event Detection for Smarter Cities 1st IEEE International Conference on Smart City Innovations (IEEE SCI 2017) |
Formal Fairness Properties in Network Routing Based on a Resource Allocation Model 9th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2017) |
Graph-based Anomaly Detection for Smart Cities: A Survey 1st IEEE International Conference on Smart City Innovations (IEEE SCI 2017) |
Anomaly Detection in Evolving Heterogeneous Graphs 3rd IEEE International Conference on Smart Data (SmartData 2017) |
The Quantile Index – Succinct Self-Index for Top-k Document Retrieval 16th International Symposium on Experimental Algorithms (SEA 2017) |
Practical Range Minimum Queries Revisited 16th International Symposium on Experimental Algorithms (SEA 2017) |
Advances in Event Detection International Symposium on Advances in Smart Big Data Processing (SBDP 2017) |
Elias-Fano meets Single-Term Top-k Document Retrieval 19th Workshop on Algorithm Engineering and Experiments (ALENEX 2017) |
Combining Graph-Based and Deduction-Based Information-Flow Analysis 5th Workshop on Hot Issues in Security Principles and Trust (HotSpot 2017) |
Thrill: High-Performance Algorithmic Distributed Batch Data Processing with C++ IEEE International Conference on Big Data (Big Data 2016) |
The KIT Motion-Language Dataset Big Data 4(4) |
Smartphone-Based Detection of Location Changes Using WiFi Data 6th EAI International Conference on Wireless Mobile Communication and Healthcare (MobiHealth 2016) |
A Wearable System for Mood Assessment Considering Smartphone Features and Data from Mobile ECGs ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp-Adjunct 2016) |
Dimensionality Reduction for Whole-Body Human Motion Recognition 19th International Conference on Information Fusion (FUSION 2016) |
Leveraging Smartwatches for Unobtrusive Mobile Ambulatory Mood Assessment ACM International Joint Conference on Pervasive and Ubiquitous Computing and ACM International Symposium on Wearable Computers (UbiComp 2015) |
Integration of Existing Software Artifacts into a View- and Change-Driven Development Approach Joint Workshop on Model-Driven Robot Software Engineering and View-based Software-Engineering (MORSE/VAO 2015) |
Device-Free Radio-based Low Overhead Identification of Subject Classes 2nd Workshop on Physical Analytics (WPA@MobiSys 2015) |
Automating Regression Verification LNI Software Engineering & Management, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW (SE & SWM 2015) |
Semantic Web Based Context-Adaptable Generation of Product Specific Documentation 5th International Workshop on Web of Things (WoT 2014) |
End-User Installation of Heterogeneous Home Automation Systems Using Pen and Paper Interfaces and Dynamically Generated Documentation 4th International Conference on the Internet of Things (IOT 2014) |
Leveraging Spatio-Temporal Clustering for Participatory Urban Infrastructure Monitoring 1st International Conference on IoT in Urban Space (Urb-IoT 2014) (Best Paper Award) |
Automating Regression Verification 29th ACM/IEEE International Conference on Automated Software Engineering (ASE 2014) |
Improving Participatory Urban Infrastructure Monitoring through Spatio-Temporal Analytics 3rd International Workshop on Urban Computing (UrbComp 2014) |
jActivity: Supporting Mobile Web Developers with HTML5/JavaScript based Human Activity Recognition 12th International Conference on Mobile and Ubiquitous Multimedia (MUM 2013) (Poster) |