• AR face

  • Referenced in 179 articles [sw13806]
  • academic use. Commercial distribution or any act related to commercial use of this database...
  • Gringo

  • Referenced in 94 articles [sw04630]
  • functionalities of gringo and clasp, thus, acting as a monolithic solver for user programs. Finally...
  • PDDL

  • Referenced in 90 articles [sw07079]
  • application. The International Planning Competitions have acted as an important motivating force behind the progress...
  • VMD

  • Referenced in 83 articles [sw18651]
  • dynamics (MD) simulation. In particular, VMD can act as a graphical front...
  • XM2VTSDB

  • Referenced in 48 articles [sw34437]
  • Security applications), a part of the EU ACTS programme, which deals with access control...
  • PARLOG

  • Referenced in 39 articles [sw23764]
  • evaluated in parallel with shared variables acting as communication channels for the passing of partial...
  • SWI-Prolog

  • Referenced in 37 articles [sw20950]
  • ideas developed in the Prolog community and acting as glue between foreign resources. This article...
  • Carpet

  • Referenced in 33 articles [sw08472]
  • equations on block-structured grids, and Carpet acts as driver layer providing adaptive mesh refinement...
  • SG

  • Referenced in 33 articles [sw20599]
  • files for molecule descriptions. SG looks and acts somewhat like Geomview, and it mimics most...
  • R-MAX

  • Referenced in 32 articles [sw02539]
  • possibly inaccurate model of its environment and acts based on the optimal policy derived from...
  • Alcoa

  • Referenced in 27 articles [sw09481]
  • uses. At one end, it can act as a support tool for object model diagrams...
  • PhyloNetwork

  • Referenced in 27 articles [sw28216]
  • allow for the representation of evolutionary events acting at the population level, like recombination between...
  • SACLIB

  • Referenced in 25 articles [sw00823]
  • template metaprogramming allow the compiler to act as a theorem prover that ensures that SACLIB...
  • EdgePack

  • Referenced in 23 articles [sw00229]
  • suite of routines named EdgePack, acting during both pre-solution and solution phase, based...
  • Kernel-Machines

  • Referenced in 23 articles [sw04754]
  • find, and the kernel machines web site acted as a central repository for the field...
  • SNIF-ACT

  • Referenced in 9 articles [sw02424]
  • SNIF-ACT: A model of information foraging on the world wide web. SNIF-ACT (Scent ... based Navigation and Information Foraging in the ACT architecture) has been developed to simulate users ... World Wide Web (WWW). SNIF-ACT selects actions based on the measure of information scent ... There are two main predictions of SNIF-ACT: (1) users working on unfamiliar tasks...
  • CICY Quotients

  • Referenced in 13 articles [sw31827]
  • Lutken and R. Schimmrigk. The freely-acting discrete symmetries of these manifolds have been obtained ... Cicy manifolds with freely-acting symmetries in Mathematica format...
  • MOTGA

  • Referenced in 18 articles [sw02666]
  • Pareto front. Pre-defined weight vectors act as pivots to define the weighted-Chebyshev scalarizing...
  • Gappa

  • Referenced in 17 articles [sw04885]
  • used directly, it can also act as a backend prover for the Why software verification...
  • AWK

  • Referenced in 17 articles [sw23781]
  • name of the bird auk (which acts as an emblem of the language such...