• ELAN

  • Referenced in 108 articles [sw02179]
  • deduction systems in a language based on rules controlled by strategies. Its purpose ... evaluation principle based on rewriting. But rewriting is inherently non-deterministic since several rules ... operators and define them by rewrite rules. Evaluation of strategy application is itself based...
  • DCUTRI

  • Referenced in 12 articles [sw00191]
  • point symmetric rule of degree 13. Based on the same evaluation points the local error ... computed using a sequence of null rule evaluations. A sophisticated error-estimation procedure tries ... procedure takes advantage of the basic rule’s polynomial degree when computing the error estimate...
  • SQPlab

  • Referenced in 155 articles [sw05161]
  • evaluating nonlinear functions. Since the functions are evaluated once at each iteration, one can then ... iterations required by the method. If the rule above does not apply, a nonlinear interior...
  • DEDALE

  • Referenced in 10 articles [sw17368]
  • practical query optimization. We describe several evaluation rules tailored for geometric data and give...
  • DEX

  • Referenced in 11 articles [sw27282]
  • qualitative multi-attribute decision models and the evaluation of options. It is aimed ... decision rules; consistency checking of decision rules; acquisition, evaluation and analysis of (possibly incompletely defined...
  • plfit

  • Referenced in 231 articles [sw23186]
  • Smirnov (KS) statistic and likelihood ratios. We evaluate the effectiveness of the approach with tests ... while in others the power law is ruled...
  • PlanMine

  • Referenced in 9 articles [sw01592]
  • which reduce the size of the returned rule set by more than three orders ... real-world planning systems. We experimentally evaluate the rules discovered by PlanMine, and show that...
  • Facile

  • Referenced in 22 articles [sw08679]
  • executes concurrent processes evaluating functional expressions. The implementation semantics includes compilation rules from Facile...
  • CARIBOO

  • Referenced in 14 articles [sw10064]
  • rule-based programming languages, where a program is a rewrite system and query evaluation consists ... when the rule-based formalism expresses functional programs, and central in the evaluation process...
  • ROTOR

  • Referenced in 6 articles [sw11955]
  • develop a tool for generating and evaluating site-specific and agronomically sustainable crop rotations ... systems in central Europe. The resulting static rule-based model, called ROTOR, consists ... preceding crops. The CPAs are evaluated using rule-based assessment modules for yield, economic performance...
  • Sfold

  • Referenced in 13 articles [sw23820]
  • properties and empirical design rules. Our approach to target accessibility evaluation is an original extension...
  • JuAFEM

  • Referenced in 2 articles [sw28361]
  • integration using different quadrature rules. Define different finite element interpolations. Evaluate shape functions, derivatives ... different interpolations and quadrature rules. Evaluate functions and derivatives in the finite element space. Generate...
  • F--MP

  • Referenced in 2 articles [sw02169]
  • relational one. We also develop a rule-evaluation mechanism well suited to the aims...
  • PAF!

  • Referenced in 2 articles [sw09973]
  • terms, with their usual syntax and evaluation rules...
  • MLOG

  • Referenced in 2 articles [sw02152]
  • Church Rosser property observed by the evaluation rules. As a corollary, a strict λ-calculus...
  • Datalog LITE

  • Referenced in 10 articles [sw28894]
  • universal quantification in rule bodies. Despite linear-time evaluation, Datalog LITE is highly expressive...
  • SparseFIS

  • Referenced in 11 articles [sw13736]
  • features in each rule are (near) 0. The method is evaluated, which is based...
  • d2_cluster

  • Referenced in 5 articles [sw28788]
  • minimal linkage or “transitive closure” rules. We then evaluate the relative efficiency of d2_cluster...
  • RP-Tree

  • Referenced in 3 articles [sw18882]
  • identify the more interesting association rules. Empirical evaluation using a range of real world datasets...
  • CorClass

  • Referenced in 5 articles [sw01932]
  • them to retain the best rules. CorClass is experimentally evaluated and compared to existing associative...