Picture for Jorge A. Baier

Jorge A. Baier

Scaling up ML-based Black-box Planning with Partial STRIPS Models

Add code
Jul 10, 2022
Figure 1 for Scaling up ML-based Black-box Planning with Partial STRIPS Models
Figure 2 for Scaling up ML-based Black-box Planning with Partial STRIPS Models
Figure 3 for Scaling up ML-based Black-box Planning with Partial STRIPS Models
Figure 4 for Scaling up ML-based Black-box Planning with Partial STRIPS Models
Viaarxiv icon

How a General-Purpose Commonsense Ontology can Improve Performance of Learning-Based Image Retrieval

Add code
May 24, 2017
Figure 1 for How a General-Purpose Commonsense Ontology can Improve Performance of Learning-Based Image Retrieval
Figure 2 for How a General-Purpose Commonsense Ontology can Improve Performance of Learning-Based Image Retrieval
Figure 3 for How a General-Purpose Commonsense Ontology can Improve Performance of Learning-Based Image Retrieval
Figure 4 for How a General-Purpose Commonsense Ontology can Improve Performance of Learning-Based Image Retrieval
Viaarxiv icon

Finite LTL Synthesis is EXPTIME-complete

Add code
Nov 17, 2016
Figure 1 for Finite LTL Synthesis is EXPTIME-complete
Viaarxiv icon