Spain

ECAI 2020

Verification of Neural Networks: Enhancing Scalability through Pruning

formal verification

neural networks

pruning

ECAI2020 featured a full programme of technical papers, as well as many AI-related events of interest for researchers, students and all attendants who are interested on contemporary AI, including:




**An extensive programme of workshops, tutorials, and invited speakers**

**The Prestigious Applications of Intelligent Systems conference (PAIS)**

**The Frontiers in AI track sessions**

**The Lab To Market event**

**The Women in AI time**

**The EU Challenges forum**

… and many more!

ECAI 2020 featured a full programme of technical papers, as well as many AI-related events of interest for researchers, students and all attendants who are interested on contemporary AI.

technical paper

Integrating Open-Ended Learning in the Sense-Plan-Act Robot Control Paradigm

Applying the Closed World Assumption to SUMO-based FOL Ontologies for Effective Commonsense Reasoning

Group Behavior Recognition Using Attention- and Graph-Based Neural Networks

How Much Knowledge is in a Knowledge Base? Introducing Knowledge Measures (Preliminary Report)

Human Activity Recognition from Wearable Sensor Data Using Self-Attention

Learning Temporal Action Models via Constraint Programming

Finite and Con dent Teaching in Expectation: Sampling from In finite Concept Classes

A Shared-Word Sensitive Sequence-to-Sequence Features Extractor for Sentences Matching

A Convergent Off-Policy Temporal Difference Algorithm

BTDE: Block Term Decomposition Embedding for Link Prediction in Knowledge Graph

https://d3smihljt9218e.cloudfront.net/transcript/1780/subtitle/902d18e433128e4f0d8916dd97c38ee5.vtt

English (automatic)

Verification of Neural Networks: Enhancing Scalability through Pruning

Downloads

Next from ECAI 2020

Integrating Open-Ended Learning in the Sense-Plan-Act Robot Control Paradigm

Similar lecture

Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis

Stay up to date with the latest Underline news!

PRESENTATIONS

CONFERENCES

COMPANY

RESOURCES

Verification of Neural Networks: Enhancing Scalability through Pruning

.css-70qvj9{display:-webkit-box;display:-webkit-flex;display:-ms-flexbox;display:flex;-webkit-align-items:center;-webkit-box-align:center;-ms-flex-align:center;align-items:center;}Downloads

Next from ECAI 2020

Integrating Open-Ended Learning in the Sense-Plan-Act Robot Control Paradigm

Similar lecture

Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis

Stay up to date with the latest Underline news!

PRESENTATIONS

CONFERENCES

COMPANY

RESOURCES

Downloads