Alert button

"Time": models, code, and papers
Alert button

Stochastic Finite State Control of POMDPs with LTL Specifications

Jan 21, 2020
Mohamadreza Ahmadi, Rangoli Sharan, Joel W. Burdick

Figure 1 for Stochastic Finite State Control of POMDPs with LTL Specifications
Figure 2 for Stochastic Finite State Control of POMDPs with LTL Specifications
Figure 3 for Stochastic Finite State Control of POMDPs with LTL Specifications
Figure 4 for Stochastic Finite State Control of POMDPs with LTL Specifications
Viaarxiv icon

Enhancing the Association in Multi-Object Tracking via Neighbor Graph

Jul 01, 2020
Tianyi Liang, Long Lan, Zhigang Luo

Figure 1 for Enhancing the Association in Multi-Object Tracking via Neighbor Graph
Figure 2 for Enhancing the Association in Multi-Object Tracking via Neighbor Graph
Figure 3 for Enhancing the Association in Multi-Object Tracking via Neighbor Graph
Figure 4 for Enhancing the Association in Multi-Object Tracking via Neighbor Graph
Viaarxiv icon

A Scientific Information Extraction Dataset for Nature Inspired Engineering

May 15, 2020
Ruben Kruiper, Julian F. V. Vincent, Jessica Chen-Burger, Marc P. Y. Desmulliez, Ioannis Konstas

Figure 1 for A Scientific Information Extraction Dataset for Nature Inspired Engineering
Figure 2 for A Scientific Information Extraction Dataset for Nature Inspired Engineering
Figure 3 for A Scientific Information Extraction Dataset for Nature Inspired Engineering
Figure 4 for A Scientific Information Extraction Dataset for Nature Inspired Engineering
Viaarxiv icon

An Image Analogies Approach for Multi-Scale Contour Detection

Jul 21, 2020
Slimane Larabi, Neil M. Robertson

Figure 1 for An Image Analogies Approach for Multi-Scale Contour Detection
Figure 2 for An Image Analogies Approach for Multi-Scale Contour Detection
Figure 3 for An Image Analogies Approach for Multi-Scale Contour Detection
Figure 4 for An Image Analogies Approach for Multi-Scale Contour Detection
Viaarxiv icon

Fast Rates for Online Prediction with Abstention

Jan 28, 2020
Gergely Neu, Nikita Zhivotovskiy

Viaarxiv icon

Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers

Jul 21, 2020
Daniele Ahmed, Andrea Peruffo, Alessandro Abate

Figure 1 for Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers
Figure 2 for Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers
Figure 3 for Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers
Viaarxiv icon

Lagrangian Decomposition for Neural Network Verification

Feb 24, 2020
Rudy Bunel, Alessandro De Palma, Alban Desmaison, Krishnamurthy Dvijotham, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar

Figure 1 for Lagrangian Decomposition for Neural Network Verification
Figure 2 for Lagrangian Decomposition for Neural Network Verification
Figure 3 for Lagrangian Decomposition for Neural Network Verification
Figure 4 for Lagrangian Decomposition for Neural Network Verification
Viaarxiv icon

Debunking Fake News One Feature at a Time

Aug 08, 2018
Melanie Tosik, Antonio Mallia, Kedar Gangopadhyay

Figure 1 for Debunking Fake News One Feature at a Time
Figure 2 for Debunking Fake News One Feature at a Time
Figure 3 for Debunking Fake News One Feature at a Time
Figure 4 for Debunking Fake News One Feature at a Time
Viaarxiv icon

Feedback Enhanced Motion Planning for Autonomous Vehicles

Jul 11, 2020
Ke Sun, Brent Schlotfeldt, Stephen Chaves, Paul Martin, Gulshan Mandhyan, Vijay Kumar

Figure 1 for Feedback Enhanced Motion Planning for Autonomous Vehicles
Figure 2 for Feedback Enhanced Motion Planning for Autonomous Vehicles
Figure 3 for Feedback Enhanced Motion Planning for Autonomous Vehicles
Figure 4 for Feedback Enhanced Motion Planning for Autonomous Vehicles
Viaarxiv icon

Adaptive Dialog Policy Learning with Hindsight and User Modeling

May 07, 2020
Yan Cao, Keting Lu, Xiaoping Chen, Shiqi Zhang

Figure 1 for Adaptive Dialog Policy Learning with Hindsight and User Modeling
Figure 2 for Adaptive Dialog Policy Learning with Hindsight and User Modeling
Figure 3 for Adaptive Dialog Policy Learning with Hindsight and User Modeling
Figure 4 for Adaptive Dialog Policy Learning with Hindsight and User Modeling
Viaarxiv icon