skip to main content
previous page 1 Resultados 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: IEEE Electronic Library (IEL) Conference Proceedings remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
DeepGauge: multi-granularity testing criteria for deep learning systems
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

DeepGauge: multi-granularity testing criteria for deep learning systems

Ma, Lei ; Juefei-Xu, Felix ; Zhang, Fuyuan ; Sun, Jiyuan ; Xue, Minhui ; Li, Bo ; Chen, Chunyang ; Su, Ting ; Li, Li ; Liu, Yang ; Zhao, Jianjun ; Wang, Yadong

2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, p.120-131

New York, NY, USA: ACM

Texto completo disponível

12
A generative appearance model for end-to-end video object segmentation
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

A generative appearance model for end-to-end video object segmentation

Johnander, Joakim ; Danelljan, Martin ; Brissman, Emil ; Khan, Fahad Shahbaz ; Felsberg, Michael

2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 2019, p.8945

Texto completo disponível

13
Classical Verification of Quantum Computations
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Classical Verification of Quantum Computations

Mahadev, Urmila

2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS), 2018, p.259-267

IEEE

Texto completo disponível

14
Cyber Threat Intelligence Model: An Evaluation of Taxonomies, Sharing Standards, and Ontologies within Cyber Threat Intelligence
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Cyber Threat Intelligence Model: An Evaluation of Taxonomies, Sharing Standards, and Ontologies within Cyber Threat Intelligence

Mavroeidis, Vasileios ; Bromander, Siri

Proceedings of the IEEE, 2017 [Periódico revisado por pares]

IEEE

Texto completo disponível

15
ContractFuzzer: fuzzing smart contracts for vulnerability detection
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

ContractFuzzer: fuzzing smart contracts for vulnerability detection

Jiang, Bo ; Liu, Ye ; Chan, W. K.

2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, p.259-269

New York, NY, USA: ACM

Texto completo disponível

16
Concolic testing for deep neural networks
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Concolic testing for deep neural networks

Sun, Youcheng ; Wu, Min ; Ruan, Wenjie ; Huang, Xiaowei ; Kwiatkowska, Marta ; Kroening, Daniel

2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, p.109-119

New York, NY, USA: ACM

Texto completo disponível

17
Aurum: A Data Discovery System
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Aurum: A Data Discovery System

Fernandez, Raul Castro ; Abedjan, Ziawasch ; Koko, Famien ; Yuan, Gina ; Madden, Samuel ; Stonebraker, Michael

2018 IEEE 34th International Conference on Data Engineering (ICDE), 2018, p.1001-1012

IEEE

Texto completo disponível

18
From high-level deep neural models to FPGAs
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

From high-level deep neural models to FPGAs

Sharma, Hardik ; Jongse Park ; Mahajan, Divya ; Amaro, Emmanuel ; Joon Kyung Kim ; Chenkai Shao ; Mishra, Asit ; Esmaeilzadeh, Hadi

2016 49th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO), 2016, p.1-12

IEEE

Texto completo disponível

19
Cambricon-X: An accelerator for sparse neural networks
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Cambricon-X: An accelerator for sparse neural networks

Shijin Zhang ; Zidong Du ; Lei Zhang ; Huiying Lan ; Shaoli Liu ; Ling Li ; Qi Guo ; Tianshi Chen ; Yunji Chen

2016 49th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO), 2016, p.1-12

IEEE

Texto completo disponível

20
Does Gamification Work? -- A Literature Review of Empirical Studies on Gamification
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Does Gamification Work? -- A Literature Review of Empirical Studies on Gamification

Hamari, Juho ; Koivisto, Jonna ; Sarsa, Harri

2014 47th Hawaii International Conference on System Sciences, 2014, p.3025-3034

IEEE

Texto completo disponível

previous page 1 Resultados 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (3.076)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (171.890)
  2. Artigos  (78)
  3. Livros  (3)
  4. Book Chapters  (3)
  5. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1994  (830)
  2. 1994Até2000  (18.751)
  3. 2001Até2007  (44.785)
  4. 2008Até2015  (82.327)
  5. Após 2015  (30.223)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (3.769)
  2. Espanhol  (230)
  3. Turco  (142)
  4. Português  (124)
  5. Chinês  (84)
  6. Árabe  (15)
  7. Francês  (6)
  8. Norueguês  (6)
  9. Sueco  (2)
  10. Russo  (1)
  11. Dinamarquês  (1)
  12. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.