• XFEM

  • Referenced in 358 articles [sw01026]
  • independent; enrichment detection schemes: topological, geometrical, narrow-band, etc.; multi-material problem with an arbitrary...
  • SIMPLIcity

  • Referenced in 85 articles [sw14893]
  • permitting semantically-adaptive searching methods and narrowing down the searching range in a database...
  • BABEL

  • Referenced in 71 articles [sw03018]
  • other side, the language uses narrowing as the basis of a lazy reduction semantics which...
  • TOY

  • Referenced in 55 articles [sw09812]
  • over real numbers; goal solving by needed narrowing combined with constraint solving. The implementation...
  • ZRAM

  • Referenced in 38 articles [sw01038]
  • defined class of problems and algorithms. This narrow focus permits developers to optimize algorithms, once...
  • MoMM

  • Referenced in 32 articles [sw04655]
  • MoMM (in the narrower sense) is a tool allowing fast interreduction of a high number...
  • SBR Toolbox

  • Referenced in 20 articles [sw10146]
  • reduction of banded matrices to narrower banded or tridiagonal form, with optional accumulation...
  • Multivac

  • Referenced in 13 articles [sw06314]
  • dimensions. It features efficient algorithms, including the narrow band level set method and the fast...
  • ThemeRiver

  • Referenced in 13 articles [sw11135]
  • documents. Colored “currents” flowing within the river narrow or widen to indicate decreases or increases...
  • MDC-ELLIPSOIDs

  • Referenced in 8 articles [sw22577]
  • coarse (with the traditional bounding spheres) and narrow (with the separate condition) contact detection. Note...
  • TRIOPT

  • Referenced in 6 articles [sw02486]
  • proposed here is that once a partition narrows down to a small size, its vertices...
  • BACOLR

  • Referenced in 6 articles [sw04397]
  • codes, especially for problems with solutions exhibiting narrow spikes or boundary layers...
  • MCTS-Solver

  • Referenced in 5 articles [sw00565]
  • MCTS-Solver, has been designed to play narrow tactical lines better in sudden-death games...
  • Simreg

  • Referenced in 5 articles [sw09075]
  • their natural boundaries which results in narrower bands, as compared to the case where...
  • IDRStab

  • Referenced in 5 articles [sw09450]
  • recursion formula for updating the residuals to narrow the residual gap. The formula requires extra...
  • Dist-Orc

  • Referenced in 5 articles [sw10063]
  • based on rewriting logic and Maude that narrows this gap considerably. The enabling feature...
  • AgsyHOL

  • Referenced in 4 articles [sw13302]
  • based on a generic lazy narrowing search algorithm applied to a proof checker...
  • TBAG

  • Referenced in 4 articles [sw21484]
  • planes, colors, transforms, geometry, and sound. The narrow role of modifiable state in this paradigm...
  • Spybug

  • Referenced in 3 articles [sw16740]
  • specification to help developers to identify and narrow down bugs in their solvers. The importance...
  • CafeInMaude

  • Referenced in 3 articles [sw19598]
  • reduction commands and Maude model checking, narrowing, or theorem proving capabilities with the same tool...