• BIDE

  • Referenced in 36 articles [sw39999]
  • closed sequences. Previous studies have presented convincing arguments that a frequent pattern mining algorithm should...
  • MU-TERM

  • Referenced in 34 articles [sw10015]
  • restriction. In CSR, the replacements in some arguments of the function symbols are permanently forbidden...
  • Symstra

  • Referenced in 19 articles [sw01296]
  • invocation depends on the method’s arguments and the state of the receiver ... receiver-object states and generating relevant method arguments. This paper proposes Symstra, a framework that ... symbolic execution of method sequences with symbolic arguments. The paper defines symbolic states of object ... test-generation techniques based on concrete method arguments...
  • Polyp

  • Referenced in 33 articles [sw09131]
  • extended language is obtained by adding type arguments to functions in a dictionary passing style...
  • ASPARTIX

  • Referenced in 18 articles [sw08820]
  • ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming. The system ASPARTIX is a tool ... broad range of formalizations of Dung’s argumentation framework and generalizations thereof. ASPARTIX relies ... program which takes an instance of an argumentation framework as input, and uses the answer...
  • Cayenne

  • Referenced in 29 articles [sw09686]
  • function may depend on the argument value, and types of record components (which...
  • Autograd

  • Referenced in 25 articles [sw22077]
  • valued functions with respect to array-valued arguments, as well as forward-mode differentiation...
  • rstanarm

  • Referenced in 24 articles [sw15609]
  • formula and data.frame plus some additional arguments for priors...
  • DRIC

  • Referenced in 23 articles [sw12610]
  • Theoretical arguments show that the new method is at least as robust as both previous...
  • fBasics

  • Referenced in 16 articles [sw04508]
  • FUTURE. THIS TYPICALLY INCLUDES FUNCTION AND ARGUMENT NAMES, AS WELL AS DEFAULTS FOR ARGUMENTS...
  • SPECFUN

  • Referenced in 22 articles [sw00895]
  • transportable Fortran special function programs for real arguments and accompanying test drivers. Components include Bessel...
  • PITA

  • Referenced in 22 articles [sw06950]
  • PRISM, including optimizations that reduce non-discriminating arguments and the computation of Viterbi paths. Furthermore...
  • QUAD

  • Referenced in 15 articles [sw19553]
  • stream cipher QUAD and the provable security arguments supporting its conjectured strength for suitable parameter ... setup and provide a security argument related to the whole stream cipher. We also briefly...
  • Bliksem

  • Referenced in 15 articles [sw21346]
  • most common datastructure (deep terms with arguments lists which are used in E, Spass ... harder to implement than deep terms with argument lists and use less memory. In that...
  • AdResS

  • Referenced in 20 articles [sw06336]
  • AdResS) from a technical perspective and collect arguments from several years of research, which culminates...
  • qLearn

  • Referenced in 20 articles [sw11117]
  • inference like the bootstrap or Taylor series arguments to breakdown if applied without correction. Here...
  • dieharder

  • Referenced in 19 articles [sw08025]
  • serve the purpose of some argument (like this one) it is not. Perfect random number...
  • GRAPPA

  • Referenced in 9 articles [sw20931]
  • GRAPPA: a semantical framework for graph-based argument processing. Graphical models are widely used ... argumentation to visualize relationships among propositions or arguments. The intuitive meaning of the links ... assigning a precise meaning to labelled argument graphs which makes them suitable for automatic evaluation ... define various Dung style semantics for argument graphs. We also introduce a pattern language...
  • neuRosim

  • Referenced in 12 articles [sw22555]
  • fast data generation with only a few arguments and a diversity of functions to define ... level functions and manipulate the arguments...
  • FORS

  • Referenced in 17 articles [sw04848]
  • regression is focused on a distinguished continuous argument of the target predicate. This...