{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T07:14:46Z","timestamp":1730272486576,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,5]]},"DOI":"10.1109\/iscas.2018.8351686","type":"proceedings-article","created":{"date-parts":[[2018,5,4]],"date-time":"2018-05-04T22:00:05Z","timestamp":1525471205000},"page":"1-5","source":"Crossref","is-referenced-by-count":2,"title":["Stochastic Functional Verification of DNN Design through Progressive Virtual Dataset Generation"],"prefix":"10.1109","author":[{"given":"Jinhang","family":"Choi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kevin M.","family":"Irick","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Justin","family":"Hardin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weichao","family":"Qiu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Yuille","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jack","family":"Sampson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vijaykrishnan","family":"Narayanan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"1929","article-title":"Dropout: A Simple Way to Prevent Neural Networks from Overfitting","volume":"15","author":"srivastava","year":"2014","journal-title":"Journal of Machine Learning Research (JMLR)"},{"key":"ref11","first-page":"1495","article-title":"Decoupled Deep Neural Network for Semi-supervised Semantic Segmentation","author":"hong","year":"2015","journal-title":"Advances in Neural Information Processing Systems I (NIPS)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2017.241"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"909","DOI":"10.1007\/978-3-319-49409-8_75","article-title":"UnrealCV: Connecting Computer Vision to Unreal Engine","author":"qiu","year":"2016","journal-title":"Computer Vision - ECCV 2016 Workshops"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2017.199"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2647868.2654889"},{"key":"ref16","article-title":"TensorFlow: Large-scale machine learning on heterogeneous systems","author":"abadi","year":"2015","journal-title":"software available from tensorflow org"},{"key":"ref17","article-title":"Torch7: A Matlab-like Environment for Machine Learning","author":"collobert","year":"2011","journal-title":"BigLearn NIPS Workshop"},{"journal-title":"Amazon Go Store","year":"0","key":"ref18"},{"journal-title":"Bossa Nova Robotics","year":"0","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3007787.3001163"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1604850113"},{"key":"ref6","first-page":"1097","article-title":"ImageNet Classification with Deep Convolutional Neural Networks","author":"krizhevsky","year":"2012","journal-title":"Advances in Neural Information Processing Systems 25 (NIPS)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3079856.3080246"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2016.90"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2015.7298594"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2014.58"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1038\/nature14539"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s11263-015-0816-y"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46448-0_5"},{"journal-title":"Comprehensive Functional Verification The Complete Industry Cycle","year":"2005","author":"wile","key":"ref22"},{"journal-title":"Unreal engine 4","year":"2006","key":"ref21"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICCE.2018.8326187"}],"event":{"name":"2018 IEEE International Symposium on Circuits and Systems (ISCAS)","start":{"date-parts":[[2018,5,27]]},"location":"Florence","end":{"date-parts":[[2018,5,30]]}},"container-title":["2018 IEEE International Symposium on Circuits and Systems (ISCAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8334884\/8350884\/08351686.pdf?arnumber=8351686","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,22]],"date-time":"2019-10-22T00:53:40Z","timestamp":1571705620000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8351686\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/iscas.2018.8351686","relation":{},"subject":[],"published":{"date-parts":[[2018,5]]}}}