From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Model Checking (k, d)-Markov Chain with ipLTL., , и . KSEM, том 8793 из Lecture Notes in Computer Science, стр. 278-289. Springer, (2014)Real-time human activity classification by accelerometer embedded wearable devices., и . ICSAI, стр. 469-473. IEEE, (2017)Multiple Algorithms Against Multiple Hardware Architectures: Data-Driven Exploration on Deep Convolution Neural Network., , , , , , , и . NPC, том 11783 из Lecture Notes in Computer Science, стр. 371-375. Springer, (2019)NASIL: Neural Network Architecture Searching for Incremental Learning in Image Classification., , , , , , и . PAAP, том 1362 из Communications in Computer and Information Science, стр. 68-80. Springer, (2020)Formal verification for embedded software with cognitive environment modelling., , и . ICCI*CC, стр. 355-360. IEEE Computer Society, (2014)Structure Characteristic-Aware Pruning Strategy for Convolutional Neural Networks., , , , , , , и . HPCC/SmartCity/DSS, стр. 1533-1540. IEEE, (2019)Optimized symbolic model checking for component-based systems., , и . ICCI*CC, стр. 373-378. IEEE Computer Society, (2014)Cortical Lateralization Analysis by Kolmogorov Entropy of EEG., и . Panhellenic Conference on Informatics, том 3746 из Lecture Notes in Computer Science, стр. 798-807. Springer, (2005)Counterexample-Guided Abstraction Refinement for Component-Based Systems., , и . COMPSAC, стр. 201-210. IEEE Computer Society, (2014)Component-Based Modeling and Code Synthesis for Cyclic Programs., , , , , , и . COMPSAC, стр. 569-578. IEEE Computer Society, (2013)