research
∙
05/09/2023
DietCNN: Multiplication-free Inference for Quantized CNNs
The rising demand for networked embedded systems with machine intelligen...
share
research
∙
03/02/2023
Domain Adaptation of Reinforcement Learning Agents based on Network Service Proximity
The dynamic and evolutionary nature of service requirements in wireless ...
research
∙
05/26/2022
Penalizing Proposals using Classifiers for Semi-Supervised Object Detection
Obtaining gold standard annotated data for object detection is often cos...
research
∙
03/25/2021
Hierarchical Program-Triggered Reinforcement Learning Agents For Automated Driving
Recent advances in Reinforcement Learning (RL) combined with Deep Learni...
research
∙
12/30/2020
Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFET^SMT
The analysis and verification of hybrid automata (HA) models against ric...
research
∙
05/03/2020
Early-Stage Resource Estimation from Functional Reliability Specification in Embedded Cyber-Physical Systems
Reliability and fault tolerance are critical attributes of embedded cybe...
research
∙
04/25/2020
Semi-Lexical Languages – A Formal Basis for Unifying Machine Learning and Symbolic Reasoning in Computer Vision
Human vision is able to compensate imperfections in sensory inputs from ...
research
∙
05/29/2019
Flexible Mining of Prefix Sequences from Time-Series Traces
Mining temporal assertions from time-series data using information theor...
research
∙
11/02/2017
Formal Analysis of Hybrid Systems Using Feature Indented Assertions
Model based design is a recommended step in the design of embedded contr...
research
∙
01/23/2014
Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures
We present algorithms for generating alternative solutions for explicit ...
research
∙
11/03/2010
