Keyword:quantification

Publications
TCP-E-SNN: Temporal Confidence Propagation with Engram Memory for Calibrated Fall Detection Across Patient Demographics Blessing Effiong and Veric Tan EasyChair Preprint 16029
Experimental Study of Air Leakages Using Three Different Ultrasonic Microphones Alireza Hojjati and Peter Radgen EasyChair Preprint 14561
Application of fault tolerant calculation in small-footprint keyword spotting neural network Yicheng Lu, Weiwei Shan and Jiaming Xu EasyChair Preprint 1021
On Conflicts and Strategies in QBF Nikolaj Bjorner, Mikolas Janota and William Klieber In:LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations