
veriSoft
 Referenced in 92 articles
[sw01489]
 VeriSoft automatically searches for coordination problems (deadlocks, etc.) and assertion violations in a software system ... interactions of all its components. It integrates automatic test generation, execution and evaluation...

AutoWEKA
 Referenced in 34 articles
[sw21536]
 designed to help such users by automatically searching through the joint space of WEKA...

PSIBLAST
 Referenced in 233 articles
[sw17324]
 BLAST programs are widely used tools for searching protein and DNA databases for sequence similarities ... addition, a method is introduced for automatically combining statistically significant alignments produced by BLAST into ... positionspecific score matrix, and searching the database using this matrix. The resulting PositionSpecific...

autosklearn
 Referenced in 25 articles
[sw33039]
 learn machine learning library, autosklearn automatically searches for the right learning algorithm...

Gecode
 Referenced in 65 articles
[sw06272]
 failure count, activity); many search engines (parallel, interactive graphical, restarts); automatic symmetry breaking (LDSB); MiniZinc ... today’s commodity hardware for parallel search, giving an already efficient base system an additional...

GHC
 Referenced in 43 articles
[sw23765]
 showed how to automatically compile a Hornclause program for exhaustive search into...

ETPS
 Referenced in 158 articles
[sw06302]
 mixture of these modes, though in automatic mode it is quite primitive in certain respects ... dealing with equality. It has facilities for searching for expansion proofs, translating these into natural...

GAMESS
 Referenced in 39 articles
[sw03002]
 gradients are available, for automatic geometry optimization, transition state searches, or reaction path following. Computation...

AutoGraphiX
 Referenced in 141 articles
[sw06137]
 main purpose of AGX is to search for extremal graphs, i.e., graphs minimizing of maximizing ... extracted and conjectures may be generated automatically or found by the researcher...

SATenstein
 Referenced in 17 articles
[sw14233]
 SATenstein: automatically building local search SAT solvers from components. Designing highperformance solvers for computationally ... automatic methods. In this work, we consider the design of stochastic local search (SLS) solvers ... solvers also significantly outperformed all automatically tuned variants of previous stateoftheart algorithms...

FLANN
 Referenced in 29 articles
[sw15312]
 best for nearest neighbor search and a system for automatically choosing the best algorithm...

VAMPIRE
 Referenced in 241 articles
[sw02918]
 Vampire 8.0, [RV02,Vor05] is an automatic theorem prover for firstorder classical logic ... simplification techniques are used for pruning the search space: subsumption, tautology deletion (optionally modulo commutativity...

SMAC
 Referenced in 71 articles
[sw27215]
 some other process we can run automatically, or a function we can evaluate, such ... helped us speed up both local search and tree search algorithms by orders of magnitude...

CP Optimizer
 Referenced in 4 articles
[sw38499]
 relaxation (TLR) used to guide the automatic search when solving scheduling problems that involve temporal ... describe its integration in the automatic search of CP Optimizer, and present the relaxation...

TPS
 Referenced in 71 articles
[sw00973]
 mixture of these modes, though in automatic mode it is quite primitive in certain respects ... dealing with equality. It has facilities for searching for expansion proofs, translating these into natural...

INTOPT_90
 Referenced in 306 articles
[sw04705]
 Rigorous global search: continuous problems The monograph gives a survey of interval arithmetic based methods ... introduces interval arithmetic, solving linear interval equations, automatic differentiation and code list generation, interval Newton ... others, the generation of code lists and automatic differentiation. The chapter on preconditioning (32 pages ... some new results with respect to zero search. The final chapter about intermediate values...

KLIMT
 Referenced in 5 articles
[sw11027]
 showed that by combining the Sequential Automatic Search of Subset of Classifiers (SASSC) algorithm with...

Paramils
 Referenced in 76 articles
[sw00678]
 application of algorithms. We describe an automatic framework for this algorithm configuration problem. More formally ... parameters. We review a family of localsearchbased algorithm configuration procedures and present novel ... knowledge, the first published work on automatically configuring the CPLEX mixed integer programming solver...

PcGets
 Referenced in 44 articles
[sw01937]
 Suppl. 1, 821–838 (2003)] proposed an automatic predictive modeling tool called relevant transformation ... transformations of the predictors of interest), selective search within the range of possible models, control ... RETINA with PcGets, a wellknown automatic modeling method proposed by D. Hendry. We point...

VisualSEEk
 Referenced in 89 articles
[sw13846]
 describe a highly functional prototype system for searching by visual features in an image database ... regions. Prior to the queries, the system automatically extracts and indexes salient color regions from...