
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 nondeterministic 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 errorestimation 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 multiattribute 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 ... realworld 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]
 rulebased programming languages, where a program is a rewrite system and query evaluation consists ... when the rulebased formalism expresses functional programs, and central in the evaluation process...

ROTOR
 Referenced in 6 articles
[sw11955]
 develop a tool for generating and evaluating sitespecific and agronomically sustainable crop rotations ... systems in central Europe. The resulting static rulebased model, called ROTOR, consists ... preceding crops. The CPAs are evaluated using rulebased 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...

FMP
 Referenced in 2 articles
[sw02169]
 relational one. We also develop a ruleevaluation 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 lineartime 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...

RPTree
 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...