Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Ata de Congresso
|
![]() |
DeepGauge: multi-granularity testing criteria for deep learning systemsMa, Lei ; Juefei-Xu, Felix ; Zhang, Fuyuan ; Sun, Jiyuan ; Xue, Minhui ; Li, Bo ; Chen, Chunyang ; Su, Ting ; Li, Li ; Liu, Yang ; Zhao, Jianjun ; Wang, Yadong2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, p.120-131New York, NY, USA: ACMTexto completo disponível |
12 |
Material Type: Ata de Congresso
|
![]() |
A generative appearance model for end-to-end video object segmentationJohnander, Joakim ; Danelljan, Martin ; Brissman, Emil ; Khan, Fahad Shahbaz ; Felsberg, Michael2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 2019, p.8945Texto completo disponível |
13 |
Material Type: Ata de Congresso
|
![]() |
Classical Verification of Quantum ComputationsMahadev, Urmila2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS), 2018, p.259-267IEEETexto completo disponível |
14 |
Material Type: Ata de Congresso
|
![]() |
Cyber Threat Intelligence Model: An Evaluation of Taxonomies, Sharing Standards, and Ontologies within Cyber Threat IntelligenceMavroeidis, Vasileios ; Bromander, SiriProceedings of the IEEE, 2017 [Periódico revisado por pares]IEEETexto completo disponível |
15 |
Material Type: Ata de Congresso
|
![]() |
ContractFuzzer: fuzzing smart contracts for vulnerability detectionJiang, Bo ; Liu, Ye ; Chan, W. K.2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, p.259-269New York, NY, USA: ACMTexto completo disponível |
16 |
Material Type: Ata de Congresso
|
![]() |
Concolic testing for deep neural networksSun, Youcheng ; Wu, Min ; Ruan, Wenjie ; Huang, Xiaowei ; Kwiatkowska, Marta ; Kroening, Daniel2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, p.109-119New York, NY, USA: ACMTexto completo disponível |
17 |
Material Type: Ata de Congresso
|
![]() |
Aurum: A Data Discovery SystemFernandez, Raul Castro ; Abedjan, Ziawasch ; Koko, Famien ; Yuan, Gina ; Madden, Samuel ; Stonebraker, Michael2018 IEEE 34th International Conference on Data Engineering (ICDE), 2018, p.1001-1012IEEETexto completo disponível |
18 |
Material Type: Ata de Congresso
|
![]() |
From high-level deep neural models to FPGAsSharma, Hardik ; Jongse Park ; Mahajan, Divya ; Amaro, Emmanuel ; Joon Kyung Kim ; Chenkai Shao ; Mishra, Asit ; Esmaeilzadeh, Hadi2016 49th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO), 2016, p.1-12IEEETexto completo disponível |
19 |
Material Type: Ata de Congresso
|
![]() |
Cambricon-X: An accelerator for sparse neural networksShijin Zhang ; Zidong Du ; Lei Zhang ; Huiying Lan ; Shaoli Liu ; Ling Li ; Qi Guo ; Tianshi Chen ; Yunji Chen2016 49th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO), 2016, p.1-12IEEETexto completo disponível |
20 |
Material Type: Ata de Congresso
|
![]() |
Does Gamification Work? -- A Literature Review of Empirical Studies on GamificationHamari, Juho ; Koivisto, Jonna ; Sarsa, Harri2014 47th Hawaii International Conference on System Sciences, 2014, p.3025-3034IEEETexto completo disponível |