Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDEdward Kim
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
[c37]Kesav Viswanadha, Francis Indaheng, Justin Wong, Edward Kim, Ellen Kalvan, Yash Pant, Daniel J. Fremont, Sanjit A. Seshia:
Addressing the IEEE AV Test Challenge with Scenic and VerifAI. AITest 2021: 136-142- [c36]Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David P. Sanders, Christian Schilling, Mark Wetzlinger:
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@ADHS 2021: 32-54 - [c35]Edward Kim, Stanley Bak, Parasara Sridhar Duggirala:
Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems. FORMATS 2021: 50-66 - [c34]Yigit Alparslan, Ethan Jacob Moyer, Isamu Mclean Isozaki, Daniel Schwartz, Adam Dunlop, Shesh Dave, Edward Kim:
Towards Searching Efficient and Accurate Neural Network Architectures in Binary Classification Problems. IJCNN 2021: 1-8 - [c33]Kesav Viswanadha, Edward Kim, Francis Indaheng, Daniel J. Fremont, Sanjit A. Seshia:
Parallel and Multi-objective Falsification with Scenic and VerifAI. RV 2021: 265-276 - [i26]Yigit Alparslan, Ethan Jacob Moyer, Isamu Mclean Isozaki, Daniel Schwartz, Adam Dunlop, Shesh Dave, Edward Kim:
Towards Searching Efficient and Accurate Neural Network Architectures in Binary Classification Problems. CoRR abs/2101.06511 (2021) - [i25]Yigit Alparslan, Ethan Jacob Moyer, Edward Kim:
Evaluating Online and Offline Accuracy Traversal Algorithms for k-Complete Neural Network Architectures. CoRR abs/2101.06518 (2021) - [i24]Yigit Alparslan, Edward Kim:
Robust SleepNets. CoRR abs/2102.12555 (2021) - [i23]Yigit Alparslan, Edward Kim:
Extreme Volatility Prediction in Stock Market: When GameStop meets Long Short-Term Memory Networks. CoRR abs/2103.01121 (2021) - [i22]Ethan Jacob Moyer, Jeff Winchell, Isamu Isozaki, Yigit Alparslan, Mali Halac, Edward Kim:
Functional Protein Structure Annotation Using a Deep Convolutional Generative Adversarial Network. CoRR abs/2104.08969 (2021) - [i21]Edward Kim, Stanley Bak, Parasara Sridhar Duggirala:
Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems. CoRR abs/2105.11796 (2021) - [i20]Yigit Alparslan, Edward Kim:
ATRAS: Adversarially Trained Robust Architecture Search. CoRR abs/2106.06917 (2021) - [i19]Abdus Salam Azad, Edward Kim, Qiancheng Wu, Kimin Lee, Ion Stoica, Pieter Abbeel, Sanjit A. Seshia:
Scenic4RL: Programmatic Modeling and Generation of Reinforcement Learning Environments. CoRR abs/2106.10365 (2021) - [i18]Kesav Viswanadha, Edward Kim, Francis Indaheng, Daniel J. Fremont, Sanjit A. Seshia:
Parallel and Multi-Objective Falsification with Scenic and VerifAI. CoRR abs/2107.04164 (2021) - [i17]Kesav Viswanadha, Francis Indaheng, Justin Wong, Edward Kim, Ellen Kalvan, Yash Pant, Daniel J. Fremont, Sanjit A. Seshia:
Addressing the IEEE AV Test Challenge with Scenic and VerifAI. CoRR abs/2108.13796 (2021) - [i16]Andrew O'Brien, Edward Kim:
Multi-Agent Algorithmic Recourse. CoRR abs/2110.00673 (2021) - [i15]Francis Indaheng, Edward Kim, Kesav Viswanadha, Jay Shenoy, Jinkyu Kim, Daniel J. Fremont, Sanjit A. Seshia:
A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation. CoRR abs/2110.14870 (2021) - [i14]Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit Seshia:
Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. CoRR abs/2112.00206 (2021) - 2020
- [j4]Edward Kim
, Zach Jensen, Alexander van Grootel, Kevin Huang, Matthew Staib, Sheshera Mysore, Haw-Shiuan Chang, Emma Strubell, Andrew McCallum, Stefanie Jegelka, Elsa Olivetti:
Inorganic Materials Synthesis Planning with Literature-Trained Neural Networks. J. Chem. Inf. Model. 60(3): 1194-1201 (2020) - [c32]Edward Kim, Parasara Sridhar Duggirala:
Kaa: A Python Implementation of Reachable Set Computation Using Bernstein Polynomials. ARCH 2020: 184-196 - [c31]Yijing Watkins, Edward Kim, Andrew Sornborger, Garrett T. Kenyon:
Using Sinusoidally-Modulated Noise as a Surrogate for Slow-Wave Sleep to Accomplish Stable Unsupervised Dictionary Learning in a Spike-Based Sparse Coding Model. CVPR Workshops 2020: 1482-1487 - [c30]Edward Kim, Jocelyn Rego, Yijing Watkins, Garrett T. Kenyon:
Modeling Biological Immunity to Adversarial Examples. CVPR 2020: 4665-4674 - [c29]Edward Kim, Divya Gopinath, Corina S. Pasareanu, Sanjit A. Seshia:
A Programmatic and Semantic Approach to Explaining and Debugging Neural Network Based Object Detectors. CVPR 2020: 11125-11134 - [c28]John Carter, Jocelyn Rego, Daniel Schwartz, Vikas Bhandawat, Edward Kim:
Learning Spiking Neural Network Models of Drosophila Olfaction. ICONS 2020: 20:1-20:5 - [c27]Edward Kim, Connor Onweller, Kathleen F. McCoy:
Information Graphic Summarization using a Collection of Multimodal Deep Neural Networks. ICPR 2020: 10188-10195 - [c26]Jacquelynne Houts, Edward Kim:
The Spectrum Outlook for Earth Remote Sensing Post WRC-19. IGARSS 2020: 3778-3780 - [c25]Daniel Schwartz, Yigit Alparslan, Edward Kim:
Regularization and Sparsity for Adversarial Robustness and Stable Attribution. ISVC (1) 2020: 3-14 - [c24]Daniel J. Fremont, Edward Kim, Yash Vardhan Pant, Sanjit A. Seshia, Atul Acharya, Xantha Bruso, Paul Wells, Steve Lemke, Qiang Lu, Shalin Mehta:
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World. ITSC 2020: 1-8 - [e2]George Bebis, Zhaozheng Yin, Edward Kim, Jan Bender, Kartic Subr, Bum Chul Kwon, Jian Zhao, Denis Kalkofen, George Baciu:
Advances in Visual Computing - 15th International Symposium, ISVC 2020, San Diego, CA, USA, October 5-7, 2020, Proceedings, Part I. Lecture Notes in Computer Science 12509, Springer 2020, ISBN 978-3-030-64555-7 [contents] - [e1]George Bebis, Zhaozheng Yin, Edward Kim, Jan Bender, Kartic Subr, Bum Chul Kwon, Jian Zhao, Denis Kalkofen, George Baciu:
Advances in Visual Computing - 15th International Symposium, ISVC 2020, San Diego, CA, USA, October 5-7, 2020, Proceedings, Part II. Lecture Notes in Computer Science 12510, Springer 2020, ISBN 978-3-030-64558-8 [contents] - [i13]Daniel J. Fremont, Edward Kim, Yash Vardhan Pant, Sanjit A. Seshia, Atul Acharya, Xantha Bruso, Paul Wells, Steve Lemke, Qiang Lu, Shalin Mehta:
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World. CoRR abs/2003.07739 (2020) - [i12]Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Scenic: A Language for Scenario Specification and Data Generation. CoRR abs/2010.06580 (2020) - [i11]Edward Kim, Maryam Daniali, Jocelyn Rego, Garrett T. Kenyon:
The Selectivity and Competition of the Mind's Eye in Visual Perception. CoRR abs/2011.11167 (2020) - [i10]Edward Kim, Connor Onweller, Andrew O'Brien, Kathleen F. McCoy:
The Interpretable Dictionary in Sparse Coding. CoRR abs/2011.11805 (2020) - [i9]Jay Shenoy, Edward Kim, Xiangyu Yue, Taesung Park, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit Seshia:
A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving. CoRR abs/2011.14551 (2020)
2010 – 2019
- 2019
- [c23]Sheshera Mysore, Zach Jensen, Edward Kim, Kevin Huang, Haw-Shiuan Chang, Emma Strubell, Jeffrey Flanigan, Andrew McCallum, Elsa Olivetti:
The Materials Science Procedural Text Corpus: Annotating Materials Synthesis Procedures with Shallow Semantic Structures. LAW@ACL 2019: 56-64 - [c22]Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia:
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems. CAV (1) 2019: 432-442 - [c21]Edward Kim, Jessica Yarnall, Priya Shah, Garrett T. Kenyon:
A Neuromorphic Sparse Coding Defense to Adversarial Images. ICONS 2019: 12:1-12:8 - [i8]Edward Kim, Zach Jensen, Alexander van Grootel, Kevin Huang, Matthew Staib, Sheshera Mysore, Haw-Shiuan Chang, Emma Strubell, Andrew McCallum, Stefanie Jegelka, Elsa Olivetti:
Inorganic Materials Synthesis Planning with Literature-Trained Neural Networks. CoRR abs/1901.00032 (2019) - [i7]Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia:
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems. CoRR abs/1902.04245 (2019) - [i6]Sheshera Mysore, Zach Jensen, Edward Kim, Kevin Huang, Haw-Shiuan Chang, Emma Strubell, Jeffrey Flanigan, Andrew McCallum, Elsa Olivetti:
The Materials Science Procedural Text Corpus: Annotating Materials Synthesis Procedures with Shallow Semantic Structures. CoRR abs/1905.06939 (2019) - [i5]Yoolhee Kim, Edward Kim, Erin Antono, Bryce Meredig, Julia Ling:
Machine-learned metrics for predicting the likelihood of success in materials discovery. CoRR abs/1911.11201 (2019) - [i4]Edward Kim, Divya Gopinath, Corina S. Pasareanu, Sanjit A. Seshia:
A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors. CoRR abs/1912.00289 (2019) - 2018
- [c20]Edward Kim, Kathleen F. McCoy:
Multimodal Deep Learning using Images and Text for Information Graphic Classification. ASSETS 2018: 143-148 - [c19]Sanjit A. Seshia, Ankush Desai, Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Sumukh Shivakumar, Marcell Vazquez-Chanlatte, Xiangyu Yue:
Formal Specification for Deep Neural Networks. ATVA 2018: 20-34 - [c18]Edward Kim, Darryl Hannan, Garrett T. Kenyon:
Deep Sparse Coding for Invariant Multimodal Halle Berry Neurons. CVPR 2018: 1111-1120 - [i3]Jacob M. Springer, Charles M. S. Strauss, Austin M. Thresher, Edward Kim, Garrett T. Kenyon:
Classifiers Based on Deep Sparse Coding Architectures are Robust to Deep Learning Transferable Examples. CoRR abs/1811.07211 (2018) - 2017
- [j3]Tao Xu, Han Zhang, Cheng Xin, Edward Kim, L. Rodney Long, Zhiyun Xue, Sameer K. Antani, Xiaolei Huang:
Multi-feature based benchmark for cervical dysplasia classification evaluation. Pattern Recognit. 63: 468-475 (2017) - [c17]Koushik Pal, Zissis Poulos, Edward Kim, Andreas G. Veneris:
Fast GPU-Based Influence Maximization Within Finite Deadlines via Node-Level Parallelism. ICDM 2017: 151-165 - [i2]Sheshera Mysore, Edward Kim, Emma Strubell, Ao Liu, Haw-Shiuan Chang, Srikrishna Kompella, Kevin Huang, Andrew McCallum, Elsa Olivetti:
Automatically Extracting Action Graphs from Materials Science Synthesis Procedures. CoRR abs/1711.06872 (2017) - [i1]Edward Kim, Darryl Hannan, Garrett T. Kenyon:
Deep Sparse Coding for Invariant Multimodal Halle Berry Neurons. CoRR abs/1711.07998 (2017) - 2016
- [c16]Edward Kim, Shruthika Vangala:
Deep Action Unit classification using a binned intensity loss and semantic context model. ICPR 2016: 4136-4141 - [c15]Edward Kim, Christopher Moritz:
Enhancing the Communication Spectrum in Collaborative Virtual Environments. ISVC (1) 2016: 681-690 - [c14]Edward Kim, Shruthika Vangala:
Vinereactor: Crowdsourced Spontaneous Facial Expression Data. ICMR 2016: 221-224 - 2015
- [j2]Dezhao Song, Edward Kim, Xiaolei Huang, Joseph Patruno, Héctor Muñoz-Avila, Jeff Heflin, L. Rodney Long, Sameer K. Antani:
Multimodal Entity Coreference for Cervical Dysplasia Diagnosis. IEEE Trans. Medical Imaging 34(1): 229-245 (2015) - [c13]Tao Xu, Edward Kim, Xiaolei Huang:
Adjustable adaboost classifier and pyramid features for image-based cervical cancer diagnosis. ISBI 2015: 281-285 - [c12]Tao Xu, Xiaolei Huang, Edward Kim, L. Rodney Long, Sameer K. Antani:
Multi-test cervical cancer diagnosis with missing data estimation. Medical Imaging: Computer-Aided Diagnosis 2015: 94140X - [c11]Tao Xu, Cheng Xin, L. Rodney Long, Sameer K. Antani, Zhiyun Xue, Edward Kim, Xiaolei Huang:
A New Image Data Set and Benchmark for Cervical Dysplasia Classification Evaluation. MLMI 2015: 26-35 - [c10]Edward Kim, Zubair Baloch, Caroline Kim:
Computer assisted detection and analysis of tall cell variant papillary thyroid carcinoma in histological images. Medical Imaging: Digital Pathology 2015: 94200A - 2014
- [c9]Scott Bouloutian, Edward Kim:
Artificial Intelligence Gaming Assistant for Google Glass. ISVC (2) 2014: 770-778 - 2012
- [c8]Edward Kim, Hongsheng Li, Xiaolei Huang:
A hierarchical image clustering cosegmentation framework. CVPR 2012: 686-693 - 2011
- [j1]Edward Kim, Xiaolei Huang, Gang Tan:
Markup SVG - An Online Content-Aware Image Abstraction and Annotation Tool. IEEE Trans. Multim. 13(5): 993-1006 (2011) - [c7]Tian Shen, Xiaolei Huang, Hongsheng Li, Edward Kim, Shaoting Zhang, Junzhou Huang:
A 3D Laplacian-driven parametric deformable model. ICCV 2011: 279-286 - [c6]Edward Kim, Xiaolei Huang, Jeff Heflin:
Finding VIPs - A visual image persons search using a content property reasoner and web ontology. ICME 2011: 1-7 - 2010
- [c5]Edward Kim, Tian Shen, Xiaolei Huang:
A parallel cellular automata with label priors for interactive brain tumor segmentation. CBMS 2010: 232-237 - [c4]Hongsheng Li, Edward Kim, Xiaolei Huang, Lei He:
Object matching with a locally affine-invariant constraint. CVPR 2010: 1641-1648
2000 – 2009
- 2008
- [c3]Christian A. Müller, Joan-Isaac Biel, Edward Kim, Daniel Rosario:
Speech-overlapped acoustic event detection for automotive applications. INTERSPEECH 2008: 2590-2593 - 2000
- [c2]Edward Kim, Joyce M. W. Lam, Jiawei Han:
AIM: Approximate Intelligent Matching for Time Series Data. DaWaK 2000: 347-357
1990 – 1999
- 1999
- [c1]Jiawei Han, Qiang Yang, Edward Kim:
Plan Mining by Divide-and-Conquer. 1999 ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery 1999
Coauthor Index
aka: Sanjit Seshia
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2022-01-05 03:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp has been originally created in 1993 at:
since 2018, dblp is operated and maintained by:
the dblp computer science bibliography is funded and supported by:
