• CMAR

  • Referenced in 53 articles [sw28406]
  • association rules. Previous studies propose that associative classification has high classification accuracy and strong flexibility ... suffers from the huge set of mined rules and sometimes biased classification or overfitting since ... retrieve mined association rules efficiently, and prunes rules effectively based on confidence, correlation and database ... /sup 2/ analysis using multiple strong association rules. Our extensive experiments on 26 databases from...
  • RSBR_

  • Referenced in 19 articles [sw02934]
  • illustrate the quality of rules discovered by GDT-RS is strongly affected by the result...
  • Tom

  • Referenced in 26 articles [sw09814]
  • strong points, making it easy to use and competitive with other rule based languages...
  • Goldilocks

  • Referenced in 10 articles [sw12806]
  • sequentially consistent. This strong guarantee helps to rule out many concurrency-related possibilities...
  • fastcox

  • Referenced in 3 articles [sw13711]
  • majorization-minimization principle and the strong rule, for computing the solution paths of the elastic...
  • picasso

  • Referenced in 3 articles [sw20406]
  • start initialization, active set updating, and strong rule for coordinate preselection to boost computation...
  • PR-Miner

  • Referenced in 4 articles [sw09180]
  • violations to the extracted programming rules, which are strong indications of bugs.Our evaluation with large ... efficiently extract thousands of general programming rules and detect violations within 2 minutes. Moreover...
  • LieART

  • Referenced in 58 articles [sw08573]
  • user interface has been created with a strong focus on usability and thus allows ... tables of properties, tensor products and branching rules of irreducible representations are included...
  • TLPVS

  • Referenced in 10 articles [sw10024]
  • deductive ltl system. A distributed rank rule for the verification of response properties in parameterized ... reducing compassion requirements to justice requirements (strong fairness to weak fairness). Special attention has been ... processes is unbounded – and our verification rules are appropriate to such systems...
  • PECANS

  • Referenced in 6 articles [sw02161]
  • grid according to a transition rule; this rule specifies the new state for each cell ... strongly expressive since the model description is attained by means of local rules, which also...
  • CRSX

  • Referenced in 4 articles [sw23630]
  • Systems with full strong reduction (but no specified reduction strategy). - Rule and term syntax based...
  • GenSoFNN

  • Referenced in 9 articles [sw08761]
  • following major problems. They are (1) inconsistent rule-base; (2) heuristically defined node operations ... neural network (GenSoFNN). The GenSoFNN network has strong noise tolerance capability by employing ... discrete incremental clustering (DIC). The fuzzy rule base of the GenSoFNN network is consistent...
  • ProVerif

  • Referenced in 45 articles [sw06558]
  • Hellman key agreements, specified both as rewrite rules or as equations. It can handle ... correspondence properties (SAS’03, with Martín Abadi), strong secrecy (the adversary does...
  • SOL

  • Referenced in 1 article [sw35247]
  • proofs of confluence and strong normalisation of computation rules derived from second-order algebraic theories...
  • OntoDLV

  • Referenced in 9 articles [sw30415]
  • classes, inheritance, relations and axioms. OntoDLP is strongly typed, and includes also complex type constructors ... retrieve information from OWL ontologies, and build rule-based reasoning on top of OWL ontologies...
  • NOEMON

  • Referenced in 11 articles [sw02384]
  • them. Second, a classifier’s performance is strongly affected by the characteristics of the dataset ... performance for a collection of datasets. Rules are induced from those measurements and accommodated...
  • ELF

  • Referenced in 4 articles [sw26533]
  • horizon training and progressive curriculum beats the rule-based built-in AI more than ... full game of Mini-RTS. Strong performance is also achieved on the other two games...
  • ConCon

  • Referenced in 3 articles [sw21589]
  • tries to simplify rules and remove infeasible rules from the input system, then it employs ... three confluence criteria: (A) a quasi-decreasing strongly deterministic 3-CTRS is confluent...
  • LPCCbnc

  • Referenced in 5 articles [sw31750]
  • branch directly on complementarities. We develop branching rules and feasibility recovery procedures and demonstrate their ... results show that our approach is a strong alternative to constructing an integer programming formulation...
  • IRIT

  • Referenced in 6 articles [sw21528]
  • that help in handling freeform geometry including strong symbolic, numeric and algebraic based computation ... using composition), freeform surface decomposition into piecewise ruled and piecewise developable surfaces, and into adaptive...