Picture for Tommaso Dreossi

Tommaso Dreossi

Amazon Search

IB-GAN: A Unified Approach for Multivariate Time Series Classification under Class Imbalance

Add code
Oct 14, 2021
Figure 1 for IB-GAN: A Unified Approach for Multivariate Time Series Classification under Class Imbalance
Figure 2 for IB-GAN: A Unified Approach for Multivariate Time Series Classification under Class Imbalance
Figure 3 for IB-GAN: A Unified Approach for Multivariate Time Series Classification under Class Imbalance
Figure 4 for IB-GAN: A Unified Approach for Multivariate Time Series Classification under Class Imbalance
Viaarxiv icon

Analysis of E-commerce Ranking Signals via Signal Temporal Logic

Add code
Jan 14, 2021
Figure 1 for Analysis of E-commerce Ranking Signals via Signal Temporal Logic
Figure 2 for Analysis of E-commerce Ranking Signals via Signal Temporal Logic
Figure 3 for Analysis of E-commerce Ranking Signals via Signal Temporal Logic
Figure 4 for Analysis of E-commerce Ranking Signals via Signal Temporal Logic
Viaarxiv icon

Scenic: A Language for Scenario Specification and Data Generation

Add code
Oct 13, 2020
Figure 1 for Scenic: A Language for Scenario Specification and Data Generation
Figure 2 for Scenic: A Language for Scenario Specification and Data Generation
Figure 3 for Scenic: A Language for Scenario Specification and Data Generation
Figure 4 for Scenic: A Language for Scenario Specification and Data Generation
Viaarxiv icon

A Formalization of Robustness for Deep Neural Networks

Add code
Mar 24, 2019
Figure 1 for A Formalization of Robustness for Deep Neural Networks
Viaarxiv icon

VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems

Add code
Feb 14, 2019
Figure 1 for VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
Figure 2 for VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
Figure 3 for VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
Figure 4 for VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
Viaarxiv icon

Scenic: Language-Based Scene Generation

Add code
Sep 25, 2018
Figure 1 for Scenic: Language-Based Scene Generation
Figure 2 for Scenic: Language-Based Scene Generation
Figure 3 for Scenic: Language-Based Scene Generation
Figure 4 for Scenic: Language-Based Scene Generation
Viaarxiv icon

Semantic Adversarial Deep Learning

Add code
May 18, 2018
Figure 1 for Semantic Adversarial Deep Learning
Figure 2 for Semantic Adversarial Deep Learning
Figure 3 for Semantic Adversarial Deep Learning
Figure 4 for Semantic Adversarial Deep Learning
Viaarxiv icon

Counterexample-Guided Data Augmentation

Add code
May 17, 2018
Figure 1 for Counterexample-Guided Data Augmentation
Figure 2 for Counterexample-Guided Data Augmentation
Figure 3 for Counterexample-Guided Data Augmentation
Figure 4 for Counterexample-Guided Data Augmentation
Viaarxiv icon

Compositional Falsification of Cyber-Physical Systems with Machine Learning Components

Add code
Nov 22, 2017
Figure 1 for Compositional Falsification of Cyber-Physical Systems with Machine Learning Components
Figure 2 for Compositional Falsification of Cyber-Physical Systems with Machine Learning Components
Figure 3 for Compositional Falsification of Cyber-Physical Systems with Machine Learning Components
Figure 4 for Compositional Falsification of Cyber-Physical Systems with Machine Learning Components
Viaarxiv icon

Systematic Testing of Convolutional Neural Networks for Autonomous Driving

Add code
Aug 11, 2017
Figure 1 for Systematic Testing of Convolutional Neural Networks for Autonomous Driving
Figure 2 for Systematic Testing of Convolutional Neural Networks for Autonomous Driving
Figure 3 for Systematic Testing of Convolutional Neural Networks for Autonomous Driving
Figure 4 for Systematic Testing of Convolutional Neural Networks for Autonomous Driving
Viaarxiv icon