58 citations · 83 across the 9 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LG2019★ 1 cited
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version)
Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi +6
Models play an essential role in the design process of cyber-physical systems. They form the basis for simulation and analysis and help in identifying design problems as early as p…
cs.LG2019
Parameterized Structured Pruning for Deep Neural Networks
Guenther Schindler, Wolfgang Roth, Franz Pernkopf +1
As a result of the growing size of Deep Neural Networks (DNNs), the gap to hardware capabilities in terms of memory and compute increases. To effectively compress DNNs, quantizatio…