A formally verified hybrid system for the next-generation airborne collision avoidance system JB Jeannin, K Ghorbal, Y Kouskoulas, R Gardner, A Schmidt, E Zawadzki, ... International Conference on Tools and Algorithms for the Construction and …, 2015 | 74 | 2015 |
A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system JB Jeannin, K Ghorbal, Y Kouskoulas, A Schmidt, R Gardner, S Mitsch, ... International Journal on Software Tools for Technology Transfer 19 (6), 717-741, 2017 | 35 | 2017 |
Formal verification of ACAS X, an industrial airborne collision avoidance system JB Jeannin, K Ghorbal, Y Kouskoulas, R Gardner, A Schmidt, E Zawadzki, ... 2015 International Conference on Embedded Software (EMSOFT), 127-136, 2015 | 25 | 2015 |
Complex contagions and the diffusion of popular Twitter hashtags in Nigeria C Fink, A Schmidt, V Barash, C Cameron, M Macy Social Network Analysis and Mining 6 (1), 1, 2016 | 23 | 2016 |
Investigating the observability of complex contagion in empirical social networks C Fink, A Schmidt, V Barash, J Kelly, C Cameron, M Macy Proceedings of the International AAAI Conference on Web and Social Media 10 (1), 2016 | 15 | 2016 |
Accurate sparse recovery of guided wave characteristics for structural health monitoring JB Harley, AC Schmidt, JMF Moura 2012 IEEE International Ultrasonics Symposium, 158-161, 2012 | 12 | 2012 |
A distributed sensor fusion algorithm for the inversion of sparse fields A Schmidt, JMF Moura 2009 Conference Record of the Forty-Third Asilomar Conference on Signals …, 2009 | 11 | 2009 |
Probabilistic model checking of the next-generation airborne collision avoidance system RW Gardner, D Genin, R McDowell, C Rouff, A Saksena, A Schmidt 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC), 1-10, 2016 | 10 | 2016 |
Field inversion by consensus and compressed sensing A Schmidt, JMF Moura 2009 IEEE International Conference on Acoustics, Speech and Signal …, 2009 | 10 | 2009 |
Distributed field reconstruction with model-robust basis pursuit A Schmidt, JMF Moura 2012 IEEE International Conference on Acoustics, Speech and Signal …, 2012 | 8 | 2012 |
Formally verified safe vertical maneuvers for non-deterministic, accelerating aircraft dynamics Y Kouskoulas, D Genin, A Schmidt, JB Jeannin International Conference on Interactive Theorem Proving, 336-353, 2017 | 6 | 2017 |
Zero shot deep learning from semantic attributes PM Burlina, AC Schmidt, IJ Wang 2015 IEEE 14th International Conference on Machine Learning and Applications …, 2015 | 6 | 2015 |
Hierarchical zero-shot classification with convolutional neural network features and semantic attribute learning J Markowitz, AC Schmidt, PM Burlina, IJ Wang 2017 Fifteenth IAPR International Conference on Machine Vision Applications …, 2017 | 4 | 2017 |
Using spectral clustering of hashtag adoptions to find interest-based communities A Schmidt, C Fink, V Barash, C Cameron, M Macy 2018 IEEE International Conference on Communications (ICC), 1-7, 2018 | 3 | 2018 |
Topical Engagement on Twitter: Using Consistency of Activity as a Means of User Segmentation A Schmidt, C Fink, N Bos Eighth International AAAI Conference on Weblogs and Social Media, 2014 | 3 | 2014 |
Scalable sensor network field reconstruction with robust basis pursuit AC Schmidt | 3 | 2013 |
Compressed sensing radar surveillance networks A Schmidt, JB Harley, JMF Moura 2012 IEEE 7th Sensor Array and Multichannel Signal Processing Workshop (SAM …, 2012 | 2 | 2012 |
Combining Deep Universal Features, Semantic Attributes, and Hierarchical Classification for Zero-Shot Learning J Markowitz, AC Schmidt, PM Burlina, I Wang arXiv preprint arXiv:1712.03151, 2017 | 1 | 2017 |
Dynamic Bayesian networks for the classification of spinning discs AC Schmidt Massachusetts Institute of Technology, 2004 | 1 | 2004 |
Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples I Papusha, R Wu, J Brulé, Y Kouskoulas, D Genin, A Schmidt arXiv preprint arXiv:2008.01204, 2020 | | 2020 |