• TetGen

  • Referenced in 183 articles [sw04046]
  • exact geometric predicates. The essential algorithms include incremental Delaunay algorithms for inserting vertices, constrained Delaunay...
  • Saga

  • Referenced in 104 articles [sw39677]
  • SAGA: A Fast Incremental Gradient Method With Support for Non-Strongly Convex Composite Objectives ... SVRG, a set of recently proposed incremental gradient algorithms with fast linear convergence rates. SAGA...
  • Isar

  • Referenced in 144 articles [sw04599]
  • editing. Thus proof texts may be developed incrementally by issuing proper document constructors, including forward...
  • PARAMESH

  • Referenced in 113 articles [sw00677]
  • package can provide them with an incremental evolutionary path for their code, converting it first...
  • Gringo

  • Referenced in 108 articles [sw04630]
  • programs. Finally, iclingo extends clingo by an incremental mode that incorporates both grounding and solving...
  • Fuzzy ARTMAP

  • Referenced in 108 articles [sw42104]
  • Fuzzy ARTMAP: A neural network architecture for incremental supervised learning of analog multidimensional maps...
  • Clingo

  • Referenced in 104 articles [sw09893]
  • gringo and clasp can offer individually - e.g., incremental grounding and solving. Clingo comes with...
  • Pellet

  • Referenced in 95 articles [sw07019]
  • optimizations for nominals, conjunctive query answering, and incremental reasoning. There’s more detailed information about...
  • UMAT

  • Referenced in 85 articles [sw08803]
  • their values at the end of the increment for which it is called; must provide...
  • MIXED

  • Referenced in 75 articles [sw06480]
  • time and space, including discrete and continuous increments of time and space...
  • REVE

  • Referenced in 68 articles [sw28907]
  • integrated into the algorithms. REVE uses an incremental termination method based on recursive decomposition ordering...
  • CUTE

  • Referenced in 65 articles [sw00177]
  • efficient constraint solver is proposed to facilitate incremental generation of such test inputs. Finally, CUTE...
  • DeepWalk

  • Referenced in 63 articles [sw39604]
  • online learning algorithm which builds useful incremental results, and is trivially parallelizable. These qualities make...
  • MathSAT

  • Referenced in 61 articles [sw09449]
  • reconstruction), model enumeration (for predicate abstraction), an incremental interface (for BMC), and computation of unsatisfiable...
  • DENFIS

  • Referenced in 57 articles [sw24183]
  • dynamic time series prediction. DENFIS evolve through incremental, hybrid (supervised/unsupervised), learning, and accommodate new input...
  • MathSAT5

  • Referenced in 56 articles [sw09569]
  • providing novel features: first, a much improved incrementality support, which is vital in SMT applications...
  • SATIRE

  • Referenced in 39 articles [sw04648]
  • SATIRE: A new incremental satisfiability engine. We introduce SATIRE, a new satisfiability solver that ... achieve even higher performance: a facility for incrementally solving sets of related problems...
  • CakeML

  • Referenced in 53 articles [sw08799]
  • topics including lexing, parsing, type checking, incremental and dynamic compilation, garbage collection, arbitrary-precision arithmetic...
  • COOLCAT

  • Referenced in 30 articles [sw37383]
  • this connection to design an incremental heuristic algorithm, COOLCAT, which is capable of efficiently clustering ... data point) since it is an incremental algorithm capable of clustering new points without having...
  • Jellyfish

  • Referenced in 29 articles [sw12431]
  • gamma _2$-norm. Jellyfish implements a projected incremental gradient method with a biased, random ordering ... increments. This biased ordering allows for a parallel implementation that admits a speed-up nearly...