Results 21 to 40 of 581
Sort by:

  • CIL
  • Referenced in 36 articles [sw26691]
  • original source. Moreover, it comes with a front-end that translates to CIL not only...

  • DLV
  • Referenced in 33 articles [sw04640]
  • based on disjunctive logic programming, which offers front-ends to several advanced KR formalisms...

  • ROSETTA
  • Referenced in 23 articles [sw10969]
  • researchers for rapid prototyping, and a GUI front-end developed for knowledge discovery ... process. Jointly, the kernel and the front-end offer a means to effectively and easily...

  • Isabelle/jEdit
  • Referenced in 31 articles [sw06432]
  • with sophisticated front-end technology on the JVM platform, overcoming command-line interaction at last...

  • LOOP
  • Referenced in 29 articles [sw10292]
  • higher order logic. It serves as a front-end to a theorem prover in which...

  • PAKCS
  • Referenced in 28 articles [sw13688]
  • graphical programming environments, an object-oriented front-end for Curry, partial evaluators, database applications, HTML...

  • SUIF
  • Referenced in 27 articles [sw08807]
  • toolkit currently includes C and Fortran front ends, a loop-level parallelism and locality optimizer...

  • SymDiff
  • Referenced in 17 articles [sw13093]
  • discuss the tool and the front-end interface to target various source languages. Finally ... provide a brief description of the front-end for C programs...

  • AbYSS
  • Referenced in 22 articles [sw09881]
  • convergence to the true Pareto fronts and the hypervolume metric...

  • Multivac
  • Referenced in 14 articles [sw06314]
  • Multivac provides an object-oriented framework for front tracking with level set methods ... schemes are available, which support fairly general front advance functions (”speed functions”) but also allow...

  • H-Morph
  • Referenced in 11 articles [sw08564]
  • Morph: An indirect approach to advancing front hex meshing. H-Morph is a new automatic ... tetrahedra into hexahedra. It uses an advancing front technique where the initial front consists ... prescribed quadrilateral surface facets. par Fronts are individually processed by recovering each...

  • GPflow
  • Referenced in 19 articles [sw21518]
  • core computations and Python for its front end. The distinguishing features of GPflow are that...

  • Jakarta
  • Referenced in 18 articles [sw01269]
  • JaKarTa Specification Language (JSL), a front-end for producing highly readable executable specifications; the JaKarTa...

  • MOTGA
  • Referenced in 18 articles [sw02666]
  • different part of the Pareto front. Pre-defined weight vectors act as pivots to define...

  • PANG
  • Referenced in 18 articles [sw10034]
  • PANG algorithm, is based on an advancing front technique and neighboring information. Its implementation...

  • PSPManalysis
  • Referenced in 18 articles [sw20475]
  • Matlab/Octave, for which interpreted language front-ends are included...

  • NSPSO
  • Referenced in 17 articles [sw09598]
  • swarm population towards the Pareto-optimal front. By using the non-dominated sorting concept...

  • Node.js
  • Referenced in 16 articles [sw15665]
  • Nginx server could be placed in-front and proxy static file requests, allowing the Node.js...

  • Ani3D
  • Referenced in 16 articles [sw28031]
  • algebraic solvers. Features: mesh generation using advanced front technique; anisotropic mesh adaptation; generation of local...

  • SatEx
  • Referenced in 15 articles [sw01588]
  • experimentation. It is not only a front end to a database gathering an exhaustive number...