Results 1 to 20 of 2551
Sort by:

  • GitHub
  • Referenced in 2340 articles [sw23170]
  • features such as bug tracking, feature requests, task management, and wikis for every project...

  • VRP
  • Referenced in 1069 articles [sw05207]
  • most challenging combinatorial optimization task. Defined more than 40 years ago, this problem consists...

  • deal.ii
  • Referenced in 631 articles [sw03516]
  • Writing such programs is a non-trivial task, and successful programs tend to become very...

  • OpenFOAM
  • Referenced in 543 articles [sw04317]
  • applications that perform pre- and post-processing tasks, e.g. meshing, data visualisation...

  • SVMlight
  • Referenced in 264 articles [sw04076]
  • classification [Joachims, 1999c][Joachims, 1998a], image recognition tasks, bioinformatics and medical applications. Many tasks have...

  • HOL Light
  • Referenced in 307 articles [sw06580]
  • been applied to some non-trivial tasks in the formalization of mathematics and industrial formal...

  • Ada95
  • Referenced in 293 articles [sw01753]
  • language support for explicit concurrency, offering tasks, synchronous message passing, protected objects, and non-determinism...

  • Kronos
  • Referenced in 273 articles [sw01270]
  • systems are systems that must perform a task within strict time deadlines. Embedded controllers, circuits...

  • BoomerAMG
  • Referenced in 195 articles [sw00086]
  • them. Parallelizing AMG is a difficult task, however. While much of the AMG method parallelizes...

  • Netgen
  • Referenced in 191 articles [sw06679]
  • Constructive Solid Geometry (CSG). The whole task of 3D mesh generation splits into four subproblems...

  • KANT/KASH
  • Referenced in 156 articles [sw00481]
  • possible to solve tasks like calculating the solutions of Diophantine equations related to F. Furthermore...

  • BERT
  • Referenced in 92 articles [sw30756]
  • models for a wide range of tasks, such as question answering and language inference, without ... substantial task-specific architecture modifications. BERT is conceptually simple and empirically powerful. It obtains ... results on eleven natural language processing tasks, including pushing the GLUE score...

  • TOMS659
  • Referenced in 141 articles [sw10686]
  • number sequence, but more useful for such tasks as approximation of integrals in higher dimensions...

  • RODES
  • Referenced in 124 articles [sw30194]
  • IEEE standard. The computers employed for the task were a variety ofSUN Sparc stations, with...

  • JuMP
  • Referenced in 123 articles [sw16108]
  • with commercial modeling tools for standard tasks. In this work we will provide benchmarks, present...

  • BoosTexter
  • Referenced in 76 articles [sw08519]
  • perform multiclass text and speech categorization tasks. Our approach is based ... boosting algorithms for text categorization tasks. We present results comparing the performance of BoosTexter ... text-categorization algorithms on a variety of tasks. We conclude by describing the application...

  • GAUSS
  • Referenced in 119 articles [sw00322]
  • financial analysts. Designed for computationally intensive tasks, the GAUSS system is ideally suited...

  • Chaco
  • Referenced in 117 articles [sw09640]
  • computer, it must first be decomposed into tasks which are assigned to different processors. Efficient...