• sparseFFTr1l

  • Referenced in 3 articles [sw36420]
  • SparseFFTr1l, Matlab toolbox for computing the sparse fast Fourier transform based on reconstructing rank ... lattices in a dimension incremental...
  • TMG

  • Referenced in 10 articles [sw04180]
  • from Text Collections A wide range of computational kernels in data mining and information retrieval ... tdms from text collections and for the incremental modification of these tdms by means ... problem-solving environment that is powerful in computational linear algebra, in order to streamline document...
  • deBWT

  • Referenced in 1 article [sw23947]
  • cannot well support scalable parallel computing owing to their incremental nature, which is a bottleneck...
  • Propositional Resolution

  • Referenced in 1 article [sw28841]
  • show that implicates can be computed in an incremental way, by fixing an ordering among ... This feature is critical for the efficient computation of prime implicates. Building on these results...
  • ALADINS

  • Referenced in 10 articles [sw09563]
  • solution for the pressure is obtained by computing intermediate low-order guesses. The difference between ... natural a posteriori estimator. After introducing the incremental formulation of the pressure correction schemes...
  • onlinePCA

  • Referenced in 3 articles [sw21315]
  • found wide applications in industrial monitoring, computer vision, astronomy, and latent semantic indexing, among others ... perturbation techniques, incremental methods, and stochastic optimization, and compare their statistical accuracy, computation time...
  • CoSyma

  • Referenced in 9 articles [sw20124]
  • tool for automatic controller synthesis for incrementally stable switched systems based on multi-scale discrete ... state-space on which discrete abstractions are computed. The tool generates a controller...
  • Digital Datcom

  • Referenced in 1 article [sw19890]
  • trim option that computes control deflections and aerodynamic increments for vehicle trim at subsonic Mach...
  • INCOP

  • Referenced in 2 articles [sw00441]
  • different levels of incrementality can be specified for the configuration cost computation, which highly improves...
  • TableMiner+

  • Referenced in 1 article [sw29429]
  • inference. Second, it reduces computational overheads by adopting an incremental, bootstrapping approach that starts...
  • LBPM

  • Referenced in 1 article [sw34068]
  • methods that can accelerate computations by using morphological tools to incrementally evolve the pore-scale...
  • iNuc-PhysChem

  • Referenced in 24 articles [sw22453]
  • vector via the IFS (incremental feature selection) procedure to optimize the feature ... prefer to run predictions in their own computers, the predictor’s code can be easily...
  • noether.lib

  • Referenced in 6 articles [sw10902]
  • Efficient algorithms for computing Noether normalization. In this paper, we provide first a new algorithm ... ideal in this position within an incremental (one variable after the other) random linear change ... Arnold, “Modular algorithms for computing Gröbner bases”, J. Symb. Comput...
  • GLIMMROC

  • Referenced in 1 article [sw26331]
  • marker for constructing the ROC curve and computing the area under the curve. The area ... positivity escalated by increments of 0.005 in predicted probability. The computation software is written...
  • HotSpotter

  • Referenced in 2 articles [sw07934]
  • small time increment for numerical stability and convergence and is therefore extremely computer-intensive...
  • PROPhESY

  • Referenced in 7 articles [sw33602]
  • analyzing parametric Markov chains (MCs). It can compute a rational function (i.e., a fraction ... novel feature of conditional probabilities. PROPhESY supports incremental automatic parameter synthesis (using SMT techniques...
  • Lynx

  • Referenced in 10 articles [sw13643]
  • highly targeted fashion. While the power of incremental SAT solvers has been amply demonstrated ... Lynx through a case-study from computational biology, namely, the RNA secondary structure prediction problem...
  • GenSoFNN

  • Referenced in 9 articles [sw08761]
  • number of clusters to be computed. Hence, a novel neural fuzzy system that is immune ... clustering technique known as discrete incremental clustering (DIC). The fuzzy rule base of the GenSoFNN...
  • IncMaxCLQ

  • Referenced in 1 article [sw21468]
  • Incremental Upper Bound and MaxSAT reasoning for MaxClique. MaxSAT reasoning is powerful in computing upper ... performed from scratch to compute an upper bound and is time-consuming ... pruning search space. We thus propose an incremental upper bound and combine it with MaxSAT...
  • iJulienne

  • Referenced in 6 articles [sw09903]
  • logic theories that can be used to compute abstract views of Maude executions that help ... causality along the trace in order to incrementally generate highly reduced program and trace slices...