
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 ... problemsolving 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 loworder 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 multiscale discrete ... statespace 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 porescale...

iNucPhysChem
 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 computerintensive...

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 casestudy 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 timeconsuming ... 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...