|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 65 publication records. Showing 65 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Tyler Cody, Peter A. Beling |
Cascading Negative Transfer in Networks of Machine Learning Systems. |
ICAA |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jocelyn Hsu, Gregory Falco |
Space Booby Traps: Hacking Back and Assured Cyber Deterrence in Space. |
ICAA |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Richard D. Avila, Jason B. Clark |
Architecting Systems for Assured Autonomy. |
ICAA |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ananya Trivedi, Salah Bazzi, Mark Zolotas, Taskin Padir |
Probabilistic Dynamic Modeling and Control for Skid-Steered Mobile Robots in Off-Road Environments. |
ICAA |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Christopher R. Serrano, Aleksey Nogin, Michael A. Warren |
Assured Point Cloud Perception. |
ICAA |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Joshua D. Prucnal, David Scheidt |
Watchdog For Assuring COLREG Compliance of Autonomous Unmanned Surface Vessels That Include Artificial Intelligence. |
ICAA |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Laura Humphrey |
Example Applications of Formal Methods to Aerospace and Autonomous Systems. |
ICAA |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin D. Kraske, Anshu Saksena, Anna L. Buczak, Zachary N. Sunberg |
Explanation Through Reward Model Reconciliation using POMDP Tree Search. |
ICAA |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Haastrup, Muhammad Hataba, Ahmed B. T. Sherif, Mohamed Elsersy |
Privacy-Aware Blockchain-Based AV Parking System Registration Scheme. |
ICAA |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ramneet Kaur, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee 0001 |
Predicting Out-of-Distribution Performance of Deep Neural Networks Using Model Conformance. |
ICAA |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Schumeg, Franklin Marotta, Benjamin Werner |
Proposed V-Model for Verification, Validation, and Safety Activities for Artificial Intelligence. |
ICAA |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Taylor Bradley, Elie Alhajjar, Nathaniel D. Bastian |
Novelty Detection in Network Traffic: Using Survival Analysis for Feature Identification. |
ICAA |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Lefcourt, Gregory Falco |
AI Forensics. |
ICAA |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Potteiger, Xenofon D. Koutsoukos |
Safe Explainable Agents for Autonomous Navigation using Evolving Behavior Trees. |
ICAA |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Susmit Jha, Sumit Kumar Jha 0001, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Sandeep Neema |
Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting. |
ICAA |
2023 |
DBLP DOI BibTeX RDF |
|
1 | |
IEEE International Conference on Assured Autonomy, ICAA 2023, Laurel, MD, USA, June 6-8, 2023 |
ICAA |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Bradley Potteiger, Tom Dignan, Amber Mills, Ed Pavelka, Caleb P. Frey, Ben Nathan, Milki Dagne, Violet Garibaldi, Ben Otter |
Live Virtual Constructive Environment for Assuring the Safety and Security of Complex Autonomous Vehicles. |
ICAA |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Genin, Elizabeth Dietrich, Yanni Kouskoulas, Aurora C. Schmidt, Marin Kobilarov, Kapil D. Katyal, Shahriar Sefati, Subhransu Mishra, Ivan Papusha |
A Safety Fallback Controller for Improved Collision Avoidance. |
ICAA |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mary L. Cummings, Ben Bauchwitz |
Driver Alerting in ADAS-Equipped Cars: A Field Study. |
ICAA |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Martin S. Feather, Alessandro Pinto |
Assurance for Autonomy - JPL's past research, lessons learned, and future directions. |
ICAA |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Karan Sikka, Indranil Sur, Anirban Roy, Ajay Divakaran, Susmit Jha |
Detecting Trojaned DNNs Using Counterfactual Attributions. |
ICAA |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Pinto, Anthony Corso 0001, Edward Schmerling |
Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System. |
ICAA |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Pengyuan Lu, Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee 0001 |
Causal Repair of Learning-Enabled Cyber-Physical Systems. |
ICAA |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Karen Joisten, Nicole Thiemer, Tobias Renner, Anke Janssen, Alexander Scheffler |
Focusing on the Ethical Challenges of Data Breaches and Applications. |
ICAA |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Musau, Nathaniel Hamilton, Diego Manzanas Lopez, Preston Robinette, Taylor T. Johnson |
On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers. |
ICAA |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Martin S. Feather |
Hallmarks of an Autonomous Space System's Development and V&V. |
ICAA |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Chandreyee Bhowmick, Mudassir Shabbir, Waseem Abbas, Xenofon D. Koutsoukos |
Resilient Multi-agent Reinforcement Learning Using Medoid and Soft-medoid Based Aggregation. |
ICAA |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nathaniel G. Gordon, Gregory Falco |
Reference architectures for autonomous on-orbit servicing, assembly and manufacturing (OSAM) mission resilience. |
ICAA |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Dimitrios Boursinos, Xenofon D. Koutsoukos |
Selective Classification of Sequential Data Using Inductive Conformal Prediction. |
ICAA |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Anna L. Buczak, Benjamin D. Baugher, Adam J. Berlier, Kayla E. Scharfstein, Christine S. Martin |
Explainable Forecasts of Disruptive Events using Recurrent Neural Networks. |
ICAA |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Lefcourt, Nathaniel G. Gordon, Hanting Wong, Gregory Falco |
Robustness Assurance Quotient: Demonstrating Context Matters for AI Performance and ML Security. |
ICAA |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Williams, Chelece Clark, Rachel McGahan, Bradley Potteiger, Daniel Cohen, Patrick Musau |
Discovery of AI/ML Supply Chain Vulnerabilities within Automotive Cyber-Physical Systems. |
ICAA |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Darryl Hond, Hamid Asgari, Leonardo Symonds, Mike Newman |
Layer-Wise Analysis of Neuron Activation Values for Performance Verification of Artificial Neural Network Classifiers. |
ICAA |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Qi Cheng, Anyi Xu, Xiangyang Li, Leah Ding |
Adversarial Email Generation against Spam Detection Models through Feature Perturbation. |
ICAA |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Shreyas Ramakrishna, Baiting Luo, Yogesh D. Barve, Gabor Karsai, Abhishek Dubey |
Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems. |
ICAA |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Hedin Beattie, Lanier A. Watkins, William H. Robinson, Aviel D. Rubin, Shari Watkins |
Measuring and Mitigating Bias in AI-Chatbots. |
ICAA |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Christian Ellis, Maggie B. Wigness, Lance Fiondella |
A Mapping of Assurance Techniques for Learning Enabled Autonomous Systems to the Systems Engineering Lifecycle. |
ICAA |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nathaniel Hamilton, Patrick Musau, Diego Manzanas Lopez, Taylor T. Johnson |
Zero-Shot Policy Transfer in Autonomous Racing: Reinforcement Learning vs Imitation Learning. |
ICAA |
2022 |
DBLP DOI BibTeX RDF |
|
1 | |
IEEE International Conference on Assured Autonomy, ICAA 2022, Virtual Event / Fajardo, PR, USA, March 22-24, 2022 |
ICAA |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Robert Canady, Xingyu Zhou 0010, Yogesh D. Barve, Daniel Balasubramanian, Aniruddha Gokhale |
Adversarially Robust Edge-Based Object Detection for Assuredly Autonomous Systems. |
ICAA |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Keren, Guy Sagy, Amir Abboud, David Ben-David, Assaf Schuster, Izchak Sharfman, Antonios Deligiannakis |
Monitoring Distributed, Heterogeneous Data Streams: The Emergence of Safe Zones. |
ICAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nilanjan Sen |
An Efficient ID Based Security Algorithm for Mutual Node Authentication and Key Management: An Elliptic Curve Cryptography Based Approach. |
ICAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ken Arroyo Ohori, Guillaume Damiand, Hugo Ledoux |
Constructing an n-dimensional Cell Complex from a Soup of (n - 1)-Dimensional Faces. |
ICAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Amitava Nag, Jyoti Prakash Singh, Sushanta Biswas, Debasree Sarkar, Partha Pratim Sarkar |
A Huffman Code Based Image Steganography Technique. |
ICAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dimitrios Gunopulos |
Exploiting Heterogeneous Data Sources: A Computing Paradigm for Live Web and Sustainability Applications. |
ICAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bhargab B. Bhattacharya, Sudip Roy 0001, Sukanta Bhattacharjee |
Algorithmic Challenges in Digital Microfluidic Biochips: Protocols, Design, and Test. |
ICAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Damianos Gavalas, Charalampos Konstantopoulos, Konstantinos Mastakas, Grammati E. Pantziou, Nikolaos Vathis |
Efficient Heuristics for the Time Dependent Team Orienteering Problem with Time Windows. |
ICAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | M. R. Rajeevalochana, Kannan Srinathan |
Choosing and Working of an Anonymous Leader. |
ICAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ram Charan Baishya, Rosy Das Sarmah, Dhruba Kumar Bhattacharyya, Malayananda Dutta |
A Similarity Measure for Clustering Gene Expression Data. |
ICAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Arjun Datt Sharma, Shaleen Deep |
Too Long-Didn't Read: A Practical Web Based Approach towards Text Summarization. |
ICAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Somsukla Maiti, Dhiraj Sangwan, Jagdish Lal Raheja |
Expression-Invariant 3D Face Recognition Using K-SVD Method. |
ICAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Healy, Andrew Ju |
An Experimental Analysis of Vertex Coloring Algorithms on Sparse Random Graphs. |
ICAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Partha Basuchowdhuri, Subhashis Majumder |
Finding Influential Nodes in Social Networks Using Minimum k-Hop Dominating Set. |
ICAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Arpit, Afza Bt Shafie, Wan Fatimah Wan Ahmad |
Automata for Modeling the Distributed Probabilistic Reversible Processes. |
ICAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nilina Bera, Subhashis Majumder, Bhargab B. Bhattacharya |
Analysis of Concentration Errors in Sample Dilution Algorithms on a Digital Microfluidic Biochip. |
ICAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Prosenjit Gupta, Christos D. Zaroliagis (eds.) |
Applied Algorithms - First International Conference, ICAA 2014, Kolkata, India, January 13-15, 2014. Proceedings |
ICAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Aniruddha Dey, Shiladitya Chowdhury, Jamuna Kanta Sing, Dipak Kumar Basu, Mita Nasipuri |
An Efficient Face Recognition Method by Fusing Spatial Discriminant Facial Features. |
ICAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sahadev Bera, Partha Bhowmick, Bhargab B. Bhattacharya |
A Digital-Geometric Algorithm for Generating a Complete Spherical Surface in ℤ3. |
ICAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Somdatta Chakravortty, Ekta Shah, Arpita Saha Chowdhury |
Application of Spectral Unmixing Algorithm on Hyperspectral Data for Mangrove Species Classification. |
ICAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Vishal Gupta 0007 |
Automatic Extraction of Headlines from Punjabi Newspapers. |
ICAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jeethu Mary Mathew, Philomina Simon |
Color Texture Image Segmentation Based on Neutrosophic Set and Nonsubsampled Contourlet Transformation. |
ICAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sujay Saha, Riddhiman Dasgupta, Anirban Ghose, Koustav Mullick, Kashi Nath Dey |
A Comparative Study of Tag SNP Selection Using Clustering. |
ICAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rakesh Mohanty, Tirtharaj Dash, Biswadeep Khan, Shiba Prasad Dash |
An Experimental Study of a Novel Move-to-Front-or-Middle (MFM) List Update Algorithm. |
ICAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shaheena Sultana, Md. Saidur Rahman 0001, Arpita Roy, Suraiya Tairin |
Bar 1-Visibility Drawings of 1-Planar Graphs. |
ICAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Uros Cibej, Jurij Mihelic |
Search Strategies for Subgraph Isomorphism Algorithms. |
ICAA |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #65 of 65 (100 per page; Change: )
|
|