conftrace_

bounded constraint

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

asynchronous parallel coordinate descent (1) multi-core solver (1) timeline-based planning (1) linear convergence rate (1) kernel svm (1) kernel support vector machine (1) smooth function (1) asynchronous parallel (1) linear temporal logic (1) real-time system (1)

Papers

Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints IJCAI 2017 Asynchronous Parallel Greedy Coordinate Descent NeurIPS 2016