yusuke1997/dblp-id-title huggingface dataset:
TRECVID 2018: Benchmarking Video Activity Detection, Video Captioning and Matching, Video Storytelling Linking and Video Search
Shot Boundary Detection Via Similitary Analysis
The MediaMill TRECVID 2007 Semantic Video Search Engine
Columbia University TRECVID 2007 High-Level Feature Extraction
INESC, Porto at TRECVID 2007: Automatic and Interactive Video Search
BUPT-MCPRL at TRECVID 2013
Automatic Caption Generation for Video Clips Using Keyframe and Document Summarization Techniques
The Orange Labs Real Time Video Copy Detection System - TrecVid 2008 Results
Waseda_Meisei at TRECVID 2018: Ad-hoc Video Search
UCF-CRCV at TRECVID 2014: Semantic Indexing
University of Marburg at TRECVID 2011: Semantic Indexing Task
The vitrivr System at TRECVID 2016: The Ad-Hoc Video Search Task
GIM at TRECVID 2012 The Light Semantic Indexing Task
SBD, Search and Rushes: TRECVid 2006 experiments at URJC
Object-Centric Spatio-Temporal Activity Detection and Recognition
PicSOM Experiments in TRECVID 2005
NTNU-Academia Sinica at TRECVID 2010 Content Based Copy Detection
WHU-NERCMS AT TRECVID2020: INSTANCE SEARCH TASK
Detecting Categories in News Video Using Acoustic, Speech, and Image Features
TokyoTech's TRECVID2007 Notebook
Quaero at TRECVID 2013: Semantic Indexing
Columbia University TRECVID-2006 Video Search and High-Level Feature Extraction
Oxford-IIIT TRECVID 2010 - Notebook paper
VIREO-TNO @ TRECVID 2014: Multimedia Event Detection and Recounting (MED and MER)
Microsoft Research Asia TRECVID 2006 High-Level Feature Extraction and Rushes Exploitation
Eurecom-Polito at TRECVID 2017: Hyperlinking task
NII Hitachi UIT at TRECVID 2019
CRIM AT TRECVID-2011: Content-Based Copy Detection using Nearest-Neighbor Mapping
IBM Research TRECVID-2008 Video Retrieval System
TRECVID 2012 GENIE: Multimedia Event Detection and Recounting
Fuzhou University at TRECVID 2009
INSIGHT@DCU TRECVID 2019: Video to Text
PKU_OS @TRECVID2012: Surveillance Event Detection
Oxford/IIIT TRECVID 2008 - Notebook paper
SZTAKI @ TRECVID 2009
TRECVID 2010 Known-item Search by NUS
JOANNEUM RESEARCH and Vienna University of Technology at TRECVID 2011: Semantic Indexing and Instance Search
NII_UIT AT TRECVID 2020
IRDS-CASIA at TRECVid 2011: Surveillance Event Detection
VIVA lab - University of Ottawa at TRECVID 2009 Content Based Copy Detection
TRECVID 2003 Experiments at Media Team Oulu and VTT
Kobe University, NICT and University of Siegen at TRECVID 2016 AVS Task
Informedia @ TRECVID2010
National Institute of Informatics, Japan at TRECVID 2009
Technische Universität Chemnitz at TRECVID Instance Search 2016
NHK STRL at TRECVID 2011: Surveillance Event Detection and Semantic Indexing
VIREO @ TRECVID 2014: Instance Search and Semantic Indexing
University of Central Florida at TRECVID 2003
PKU-NEC @TRECVID2011 SED: Sequence-Based Event Detection in Surveillance Video
Summarizing BBC Rushes the Informedia Way
Nanjing University in TRECVID 2010
ITI-CERTH participation in TRECVID 2018
Spatial Semantics and Classifier Cascades: The ANU 2011 Multimedia Event Detection System
NII-HITACHI-UIT at TRECVID 2017
TRECVID 2009 workshop participants notebook papers, Gaithersburg, MD, USA, November 16-17, 2009
ECL-LIRIS at TrecVid 2011: Semantic Indexing
Technische Universität Chemnitz and Hochschule Mittweida at TRECVID Instance Search 2017
National Institute of Informatics, Japan at TRECVID 2012
JOANNEUM RESEARCH and Vienna University of Technology at TRECVID 2012: Semantic Indexing and Instance Search
JOANNEUM RESEARCH at TRECVID 2016 Instance Search Task
Tianjin University and National University of Singapore at TRECVID 2017: Video to Text Description
PicSOM Experiments in TRECVID 2018
PKU_ICST at TRECVID 2019: Instance Search Task
The MediaMill TRECVID 2012 Semantic Video Search Engine
IRISA at TrecVid 2017: Beyond Crossmodal and Multimodal Models for Video Hyperlinking
Eurécom at TRECVid 2006: Extraction of High-level Features and BBC Rushes Exploitation
University of Applied Sciences Mittweida and Chemnitz University of Technology at TRECVID ActEv 2019
REGIMVID at TRECVID2010: Semantic Indexing
Fudan at TRECVID 2015: Adaptive Feature Fusion for Multimedia Event Detection in Videos
JDL at TRECVID 2006 Shot Boundary Detection
SRI-Sarnoff AURORA System at TRECVID 2014 Multimedia Event Detection and Recounting
University of Bradford at TRECVID 2008: Content Based Copy Detection Task
Florida International University and University of Miami TRECVID 2010 - Semantic Indexing
Activities in Extended Video
University of Siegen, Kobe University and NICT at TRECVID 2015 SIN and MED Tasks
Learning TRECVID'08 High-Level Features from YouTube
NTTFudan Team @ TRECVID 2016: Multimedia Event Detection
IRIT @ TRECVid HLF 2009 - Audio to the Rescue
IBM Research TRECVID-2005 Video Retrieval System
PKU-ICST at TRECVID 2016: Instance Search Task
Oxford TRECVID 2006 - Notebook paper
2006 TREC Video Retrieval Evaluation, TRECVID 2006, Gaithersburg, MD, USA, November 13-14, 2006
Shot Boundary Detection at TRECVID 2006
TJUT-TJU@TRECVID 2011: Surveillance Event Detection
KDDI LABS at TRECVID 2011: Content-Based Copy Detection
Florida International University and University of Miami TRECVID 2012
Video Content Browsing Based on Iterative Feature Clustering for Rushes Exploitation
L Interactive Search Experiments for TRECVID 2008
CCNY at TRECVID 2015: Localization
Bilkent University at TRECVID 2006
BUPT & ORANGELABS(OrangeBJ) at TRECVID 2014: Instance Search
TRECVID 2008 workshop participants notebook papers, Gaithersburg, MD, USA, November 2008
BJTU TRECVID 2007 Video Search
The University of Sheffield and University of Engineering & Technology, Lahore at TECVID 2014: Instance Search Task
SJTUBCMI at TRECVID 2012: Surveillance Event Detection
TRECVID 2011 Semantic Indexing Task By NTT-SL-ZJU
SHANGHAI JIATONG UNIVERSITY (SJTU-IS) participation in high-level feature extraction at TRECVID 2009
ORAND at TRECVID 2015: Instance Search and Video Hyperlinking Tasks
Shandong Normal University in the VTT Tasks at TRECVID 2017
Multimedia Event Detection (MED) Evaluation Task
KU-ISPL TRECVID 2020 VTT Model
Brno University of Technology at TRECVid 2012 Interactive Surveillance Event Detection Pilot
Waseda_Meisei_SoftBank at TRECVID 2019: Ad-hoc Video Search
2017 TREC Video Retrieval Evaluation, TRECVID 2017, Gaithersburg, MD, USA, November 13-15, 2017
Eurécom at TRECVid 2005: Extraction of High-level Features
RUC_AIM3 at TRECVID 2020: Ad-hoc Video Search & Video to Text Description
TokyoTech-AIST at TRECVID 2017: Multimedia Event Detection Using Deep CNNs and Zero-Shot Classiers
COST292 experimental framework for TRECVID 2006
ENST/UOB/LU@TRECVID2007 HIGH LEVEL FEATURE EXTRACTION USING 2-LEVEL PIECEWISE GMM
Informedia @ TRECVID 2016
BUPT-MCPRL at TRECVID 2020: INS and ActEV
IRIM at TRECVID 2018: Instance Search
WHU-NERCMS at TRECVID2017: Instance Search Task
The SESAME MED System
EURECOM at TrecVid 2013: The Semantic Indexing Task
University of Paris 6 at TRECVID 2005: High-Level Feature Extraction
NTT Communication Science Laboratories at TRECVID 2011 Content Based Copy Detection
Semantic Web Techniques for Searching and Navigating Video Shots in BBC Rushes
Zhejiang University at TRECVID 2006
TZI Bremen - Trecvid 2006 high level feature extraction
UTS Submission at the TRECVID 2020 Disaster Scene Description and Indexing Task
UCF-CRCV at TRECVID 2013: Semantic Indexing
VANT at TRECVID 2018
PKU_ICST at TRECVID2013 : Instance Search Task
LCC at TRECVID 2005
FXPAL Interactive Search Experiments for TRECVID 2007
DT-3DResNet-LSTM: An Architecture for Temporal Activity Recognition in Videos
Probabilistic Approaches to Video Retrieval
NTT-Fudan Team @ TRECVID 2015: Multimedia Event Detection
ITI-CERTH participation to TRECVID 2009 HLFE and Search
KU-ISPL TRECVID 2017 VTT System
Video Retrieval Using Search and Browsing
ITI-CERTH participation in TRECVID 2017
PKU-ICST at TRECVID 2015: Instance Search Task
NII-ISM, Japan at TRECVID 2007: High Level Feature Extraction
FXPAL Experiments for TRECVID 2016 Video Hyperlinking
Searching for Relevant Video Shots in BBC Rushes Using Semantic Web Techniques
York_University at TRECVID 2010
Renmin University of China at TRECVID 2020: Sentence Encoder Assembly for Ad-hoc Video Search
EURECOM at TRECVID 2016: The Adhoc Video Search and Video Hyperlinking Tasks
University of Sheffield at TRECVID 2007: Shot Boundary Detection and Rushes Summarisation
National Institute of Informatics, Japan at TRECVID 2010
TT+GT at TRECVID 2010 Workshop
Independent Category Classifiers for Emergency Scene Description using Deep Learning approaches
VIREO/ECNU @ TRECVID 2013: A Video Dance of Detection, Recounting and Search with Motion Relativity and Concept Learning from Wild
TRECVID 2010 Experiments at Dublin City University
KU-ISPL TRECVID 2018 VTT Model
TOSCA-MP and HHI at TRECVID 2013 : Semantic Indexing
Quaero at TRECVID 2011: Semantic Indexing and Multimedia Event Detection
Short description of Asahi-kasei's SBD system on TRECVID 2007
IRIM at TRECVID 2010 : Semantic Indexing and Instance Search
NII-HITACHI-UIT at TRECVID 2016
TRECVID 2005 by NUS PRIS
PicSOM Experiments in TRECVID 2015
The University of Sheffield and Harbin Engineering University at TRECVID 2012: Instance Search
Fudan University at TRECVID 2010 : Semantic Indexing
SINAI at TRECVID 2007
CUNI at TRECVID 2015: Video Hyperlinking Task
VIREO at TRECVID 2010: Semantic Indexing, Known-Item Search, and Content-Based Copy Detection
AT&T Research at TRECVID 2006
TRECVID 2008 NOTEBOOK PAPER: InteractiveSearch Using Multiple Queries and Rough Set Theory
MMVG-INF-Etrol@TRECVID 2019: Activities in Extended Video
TRECVID 2020: A comprehensive campaign for evaluating video retrieval tasks across multiple application domains
IBM Research TRECVID-2007 Video Retrieval System
BBC rush summarization and High-Level Feature extraction In TRECVID2008
NTT_CQUPT@TRECVID2019 ActEV: Activities in Extended Video
Multi-Lingual Broadcast News Retrieval
The Moving Query Windows for Shot Boundary Detection at TREC-12
Orange Labs Beijing (FTRDBJ) at TRECVID 2013 : Instance Search and Video Semantic Indexing Systems
IVA-NLPR-IA-CAS TRECVID 2009: High LevelFeatures Extraction
IIT / NCSR "Demokritos" at TRECVID 2006: Shot Boundary Detection
Combining shape and color for automatic video cut detection
Chinese University of Hong Kong at TRECVID 2006: Shot Boundary Detection and Video Search
UEC at TRECVID 2010 Semantic Indexing Task
2015 TREC Video Retrieval Evaluation, TRECVID 2015, Gaithersburg, MD, USA, November 16-18, 2015
IRIM at TRECVID 2015: Semantic Indexing
ITI-CERTH participation to TRECVID 2011
2003 TREC Video Retrieval Evaluation, TRECVID 2003, Gaithersburg, MD, USA, November 17-18, 2003
TRECVID-An Overview
Kobe University and Kindai University at TRECVID 2018 AVS Task
IBM Research TRECVID-2010 Video Copy Detection and Multimedia Event Detection System
TRECVID 2020 AVS: Solution of ZY_BJLAB Team
National Institute of Informatics, Japan at TRECVID 2011
SRI-Sarnoff AURORA System at TRECVID 2012 Multimedia Event Detection and Recounting
An Online System for Real-Time Activity Detection in Untrimmed Surveillance Videos
Intuvision Event Detection System FORTRECVID 2008
Shot Boundary Detection and High-Level Features Extraction for the TREC Video Evaluation 2003
TRECVID 2006 Rushes Exploitation by CAS MCG
IIPWHU@TRECVID 2016 Surveillance Event Detection
TÜBITAK UZAY at TRECVID 2009: High-Level Feature Extraction and Content-Based Copy Detection
Content-Based Video Copy Detection: PRISMA at TRECVID 2010
FudaSys Video Retrieval in TRECVID 2012
NEUMITLL @ TRECVid 2015: Multimedia EventDetection by Pre-trained CNN Models
The Influence of Context and Interactivity on Video Browsing
AXES @ TRECVID 2014: Instance Search
KB Video Retrieval at TRECVID 2011
Trimps at TRECVID 2015: Localization and Instance Search
MSRA atT TRECVID 2008: High-Level Feature Extraction and Automatic Search
Event detection : IPG-BJTU at Trecvid 2010
MMM-TJU at TRECVID 2010
The France Telecom Orange Labs (Beijing) Video Semantic Indexing Systems - TRECVID 2010 Notebook Paper
Known-Item Search by MCG-ICT-CAS
TRECVid 2013 Experiments at Dublin city University
The MediaMill TRECVID 2008 Semantic Video Search Engine
CCNY at TRECVID 2014: Surveillance Event Detection
The IMOTION System at TRECVID 2016: The Ad-Hoc Video Search Task
TRECVid 2008 High Level Feature Extraction Experiments at JOANNEUM RESEARCH
The Stanford/Technicolor/Fraunhofer HHI Video Semantic Indexing System
ISM TRECVID2009 High-level Feature Extraction
Columbia University/VIREO-CityU/IRIT TRECVID2008 High-Level Feature Extraction and Interactive Video Search
Universität Karlsruhe (TH) at TRECVID 2007
TRECVID 2012 Semantic Video Concept Detection by NTT-MD-DUT
PKU-IDM @TRECVID2011 CBCD: Content-Based Copy Detection with Cascade of Multimodal Features and Temporal Pyramid Matching
WHU-NERCMS at TRECVID2015: Instance Search Task
Person X Detector
NTT Communication Science Laboratories at TRECVID 2010 Content Based Copy Detection
Fudan University at TRECVID 2003
Combining Features at Search Time: PRISMA at Video Copy Detection Task
Florida International University - University of Miami TRECVID 2013
Informedia@TRECVID 2011: Surveillance Event Detection
NTT Communication Science Laboratories and National Institute of Informatics at TRECVID 2012 Instance Search and Multimedia Event Detection Tasks
University of Marburg at TRECVID 2009: High-Level Feature Extraction
Imperial College at TRECVID
IMFD IMPRESEE at TRECVID 2020: Description Generation by Visual-Syntactic Embedding
NTT Communication Science Laboratories and NII at TRECVID 2011 Instance Search Task
ARTEMIS at TRECVID 2013: Instance Search Task
AXES at TRECVID 2011
SFU at TRECVid 2010: Surveillance Event Detection
University of Siegen, Kobe University and Muroran Institute of Technology at TRECVID 2013 Multimedia Event Detection
Knowledge Base Video Retrieval at TRECVID 2012
Event detection: BJTU-SED at Trecvid 2012
2012 TREC Video Retrieval Evaluation, TRECVID 2012, Gaithersburg, MD, USA, November 26-28, 2012
HuaZhong University of Science and Technology at TRECVID 2006
MIC_TJ at TRECVID 2013: Instance Search Task
An Automatic Caption Generation for video clip with reducing frames in order to shorten processing time
PicSOM Experiments in TRECVID 2006
RUC_AIM3 at TRECVID 2019: Video to Text
University of Central Florida at TRECVID 2008 Content Based Copy Detection and Surveillance Event Detection
Detecting Single-Actor Events in Video Streams for TRECVid 2008
IRISA at TrecVid 2015: Leveraging Multimodal LDA for Video Hyperlinking
University of Marburg at TRECVID 2006: Shot Boundary Detection and Rushes Task Results
The 2014 SESAME Multimedia Event Detection and Recounting System
Retrieving Objects, People and Places from a video Collection: TRECVID'12 Instance Search Task
UCF @ TRECVID 2009 : High-Level Feature Extraction
NTT Communication Science Laboratories and National Institute of Informatics at TRECVID 2017 Instance Search
PicSOM Experiments in TRECVID 2008
Fudan University at TRECVID 2007
Policy-based Credential Disclosure in SSI by Using ORCON-based Access Control
Orchestration of Blockchain-based Digital Twins
DAO-ML: A Modelling Language for the Specification of Decentralized Autonomous Organization Governance
Tokenomics in Civic Blockchain: Implementing Community and SoulBound Tokens in a Game-Theoretical Framework for Collaborative Economies
On the Use of LLMs for Upgrading Legacy Smart Contracts: An Initial Study
A Short Survey on Bitcoin Price Prediction
Virtual Private Blockchains for GDPR: Cheap Private Blockchains out of Public Ones
Proceedings of the Sixth Distributed Ledger Technology Workshop (DLT 2024), Turin, Italy, May 14-15, 2024
Exploring Fairness in Ethereum PoS: The Impact of Protocol Design and MEV
An Algorand-based Approach for Flexible Execution of BPMN Choreographies
Certified Byzantine Consensus with Confidential Quorum for a Bitcoin-derived Permissioned DLT
Smart contracts and issue reporting: a preliminary analysis
Towards FATEful Smart Contracts
Studying the Compounding Effect: The Role of Proof-of-Stake Parameters on Wealth Distribution
Incentivizing Customer Reviews in the Grocery Industry: The Re-Taled Project's Approach
Deflating Mass-Surveillance Attempts in the Post-Snowden Era: Publicly-Traceable Conditional Decryptions
Besu vs. Quorum: Comparative Analysis in the Context of Simulated Energy Communities
Optimistic and Validity Rollups: Analysis and Comparison between Optimism and StarkNet
Making Algorithmic Stablecoins More Stable: The Terra-Luna Case Study
Decentralized DNS Resolution Based on Distributed Ledger Technology
Impact of post-quantum signatures on blockchain and DLT system
Performance and Scalability Testing for Blockchain Consensus Protocols: an Empirical Framework
Data Access and Usage Control for Data Spaces
Proceedings of the Seventh Distributed Ledger Technology Workshop (DLT 2025), Pizzo, Italy, June 12-14 2025
Proceedings of the Fifth Distributed Ledger Technology Workshop (DLT 2023), Bologna, Italy, May 25-26, 2023
An Entropy-Based Approach to Evaluating the Economic Efficiency of Cryptocurrencies
Privacy-Preserving Multi-Objective Optimization using Bellman-Ford Algorithm via Zero-Knowledge Proofs
Unveiling Algorand Storage Peculiarities
Assessing the Anonymity of DIDs in Self-Sovereing Identity
Improving driving behavior: a blockchain-based gamification system
A brief analysis regarding NFTs and digital artworks
How To Save Fees in Bitcoin Smart Contracts: a Simple Optimistic Off-chain Protocol
Certification of Business Processes and Workflows via Blockchain
SmartML: Enhancing Security and Reliability in Smart Contract Development
A Decentralized Data Sharing Framework based on a Key-Redistribution method
Not Enough IoT After All: Visiting Transactional Characteristics of IoT Blockchains
Blockchain-based Information Ecosystems
A Netting Protocol for Liquidity-saving Automated Market Makers
Toward Scalable Docker-Based Emulations of Blockchain Networks
Comparative Evaluation of Blockchain Technologies for IoT Energy Monitoring in Residential Settings Azmat Ullah
Private and Verifiable Storage of User Vehicles' Privacy Settings through Decentralisation
Protecting digital identity in the Metaverse: the case of access to a cinema in Decentraland
Analyzing Terms of Use Adoption in SSI Digital Wallets: A Review of Current Implementations
An AMM minimizing user-level extractable value and loss-versus-rebalancing
Message Latency in Waku Relay with Rate Limiting Nullifiers
Integrating Computer Vision & Blockchain for Enhanced Saffron Evaluation: A Focus on Filament Curvature Assessment
Non-Fungible Mutable Tokens for Flexible Choreography Roles and Ownership
European Union Data Act and Blockchain Technology: Challenges and New Directions
Automatic Smart Contract Generation Through LLMs: When The Stochastic Parrot Fails
Data Redaction in Smart-Contract-Enabled Permissioned Blockchains
AvaDrive: A Blockchain Based Framework for Efficient Vehicle-to-Grid Management Aurora Guaresi
Low-Cost Tamper-Proof IoT Devices to Improve Data Origin Verification and Privacy in Blockchain-Based Energy Consumption Records
Smart Contract Visualization: Solutions and Challenges
Blockchain-based DNS: Current Solutions and Challenges to Adoption
Introducing Event-Driven Properties Management in *-chain
Incentive Compatibility In Consensus Protocols And DAOs: A Game-Theoretic Approach
Enforcing Confidentiality in Tornado Cash-based E-voting Systems
Impact of Layer-1 Characteristics on Scalability of Layer-2 Semi-Hierarchical Payment Channel Networks
Participation by Design: Designing Incentives for Collaborative Economies in Local Communities
Noninterference Analysis for Smart Contracts: Would you Bet on it?
The Referendum Problem in Anonymous Voting for Decentralized Autonomous Organizations
Is It Possible To Develop A Decentralized Free Energy Market? An Automatic Literature Review Approach
An In-depth Analysis of Mining Pools Revenue
Block-Timer: A Layer-Optimized Approach for BPMN Process Execution with Time Constraints on Blockchain
A Tale on Decentralizing an App: the Case of Copyright Management
Multi-level Architecture for Separation of Powers in Legislative Process Monica Palmirani
Analyzing the Fairness of Proof of Stake Ethereum
zkSNARKs Libraries for Blockchains: a Comparative Study
Analysis of Blockchain Sustainability through the Comparison of Different Smart Contracts Programming Languages
Analysis of the Impact of European Policy on Distributed Ledger Technologies and Crypto-assets
Certified Solutions on Blockchain to Computationally Difficult Optimization Problems
Innovative Distributed Ledger Technologies for Local Product Traceability in Agro-Touristic Economies
Introduction to Consensus in Weakly Byzantine Asynchronous Environments
Modeling Reentrancy in Smart Contracts through Noninterference
Accelerating Prolly Trees: Simplified Chunking for Rapid Updates
Modeling Carne PRI supply chain with the *-Chain Platform
CFD - A FORTRAN-like language for the ILLIAC IV
On programming parallel computers
DMAP-a COBOL extension for associative array processors
A parallel approach to code generation for Fortran like compilers
The principle of sufficient reason: A guide to language design for parallel processing
Array reference operations
Movement of implicit parallel and vector expressions out of program loops
Vector extensions to LRLTRAN
A modest proposal for vector extensions to ALGOL
Array operations in MU5
Proceedings of the Conference on Programming Languages and Compilers for Parallel and Vector Machines 1975, New York, New York, USA, March 18-19, 1975
Problem formulation using array processing techniques
The ILLIAC IV FORTRAN compiler
PACOL: A parallel control language
A language design for vector machines
A stream processing network
Fortran for the Texas Instruments ASC system
Array processing on an array processor
The Paralyzer: Ivtran's Parallelism Analyzer and Synthesizer
Lexical analysis and parsing techniques for a vector machine
Program optimization - theory and practice
Removal of invariant statements from nested-loops in a single effective compiler pass
Predicting Out-of-Distribution Performance of Deep Neural Networks Using Model Conformance
Privacy-Aware Blockchain-Based AV Parking System Registration Scheme
Estimating Data Requirements for Learning-Enabled Systems using Metadata
International Conference on Assured Autonomy, ICAA 2024, Nashville, TN, USA, October 10-11, 2024
IEEE International Conference on Assured Autonomy, ICAA 2022, Virtual Event / Fajardo, PR, USA, March 22-24, 2022
On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers
Domain Knowledge Elicitation for Data Curation to Promote Trustworthiness in Artificial Intelligence
Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting
Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System
A Safety Fallback Controller for Improved Collision Avoidance
Focusing on the Ethical Challenges of Data Breaches and Applications
Resilient Multi-agent Reinforcement Learning Using Medoid and Soft-medoid Based Aggregation
Architecting Systems for Assured Autonomy
Mixed-Reality Testbed for Autonomous Fixed-Wing UAVs Human-Autonomy Teaming
Assured Point Cloud Perception
Reference architectures for autonomous on-orbit servicing, assembly and manufacturing (OSAM) mission resilience
IEEE International Conference on Assured Autonomy, ICAA 2023, Laurel, MD, USA, June 6-8, 2023
Space Booby Traps: Hacking Back and Assured Cyber Deterrence in Space
Assurance for Autonomy - JPL's past research, lessons learned, and future directions
Example Applications of Formal Methods to Aerospace and Autonomous Systems
Live Virtual Constructive Environment for Assuring the Safety and Security of Complex Autonomous Vehicles
Shrinking POMCP: A Framework for Real-Time UAV Search and Rescue
Driver Alerting in ADAS-Equipped Cars: A Field Study
Explainable Forecasts of Disruptive Events using Recurrent Neural Networks
Explanation Through Reward Model Reconciliation using POMDP Tree Search
Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems
Dynamic View Translation for Robust Multi-Agent Autonomy
Reliability Evaluation of CNN-enabled Systems in Adversarial Scenarios