• DACBench

  • Referenced in 1 article [sw38657]
  • DACBench: A Benchmark Library for Dynamic Algorithm Configuration. Dynamic Algorithm Configuration (DAC) aims to dynamically ... hyperparameters in domains like evolutionary computation, AI Planning or deep learning. Replicating these results ... however, is difficult since existing benchmarks are often specialized and incompatible with the same interfaces...
  • CSP2SAT4J

  • Referenced in 4 articles [sw10081]
  • have been shown successful in recent years: Planning and Bounded Model Checking are two examples ... techniques based on grounding predicates since only benchmarks that could be grounded in a reasonable...
  • MEFISTO

  • Referenced in 2 articles [sw01082]
  • authors and is integral part of logistics planning solutions provided by PTV AG. We present ... specialized local search procedure. Summarized results on benchmark and real world problems are given...
  • GAID

  • Referenced in 1 article [sw21405]
  • objective is to find the team plan in which the longest subtour is as short ... subtours using genetic operators. We benchmarked GAID against other evolutionary algorithms and heuristics. GAID outperformed ... GAID, these methods cannot solve the multiagent planning problem. GAID proved to be much better...
  • HiBISCuS

  • Referenced in 2 articles [sw36021]
  • have focused on generating optimized query execution plans for fast result retrieval. However, devising source ... selected engines on most of the benchmark queries...
  • VerSe

  • Referenced in 1 article [sw39980]
  • VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images. Vertebral labelling ... clinical decision-support systems for diagnosis, surgery planning, and population-based analysis on spine ... total of 25 algorithms were benchmarked on these datasets. In this work, we present...
  • ProphetNet

  • Referenced in 1 article [sw35776]
  • gram prediction explicitly encourages the model to plan for the future tokens and prevent overfitting ... experiments on CNN/DailyMail, Gigaword, and SQuAD 1.1 benchmarks for abstractive summarization and question generation tasks...
  • Drake

  • Referenced in 1 article [sw38828]
  • making this information available for advanced planning, control, and analysis algorithms. Drake provides an interface ... people get started and provide much needed benchmarks. We are excited to accept user contributions...
  • ReDO

  • Referenced in 0 articles [sw25850]
  • cross-layer approach. It requires a careful planning for different fault-tolerance mechanisms at different ... this framework when applied both to benchmark applications and realistic systems, providing optimized systems that...
  • ADOL-C

  • Referenced in 247 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • BARON

  • Referenced in 339 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CGAL

  • Referenced in 381 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

  • Referenced in 1856 articles [sw00161]
  • Coq is a formal proof management system. It...
  • DEA

  • Referenced in 245 articles [sw00194]
  • Data Envelopment Analysis (DEA) is becoming an increasingly...
  • gmp

  • Referenced in 275 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • GrGen

  • Referenced in 21 articles [sw00387]
  • GrGen.NET is a programming tool for graph transformation...
  • HOM4PS

  • Referenced in 78 articles [sw00410]
  • HOM4PS-2.0: a software package for solving polynomial...
  • KNITRO

  • Referenced in 191 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...