
CellPLoc
 Referenced in 90 articles
[sw09126]
 validation tests on the benchmark data sets that covered up to 22 subcellular location sites...

KernSmooth
 Referenced in 872 articles
[sw04586]
 concentrate on the simplest nonparametric curve estimation setting, namely density and regression estimation. Special attention ... make some sacrifices. It does not completely cover the vast amount of research...

AETG
 Referenced in 58 articles
[sw09715]
 uses combinatorial designs to generate tests that cover the pairwise, triple, or nway combinations ... combinatorial algorithms to generate test sets that cover all valid nway parameter combinations...

GOLEM
 Referenced in 51 articles
[sw24695]
 rather constructs a unique clause covering a set of positive examples relative to the available ... embeds the construction of rlggs in a covering approach. For the induction of a single ... these rlggs, GOLEM chooses the one which covers the largest number of positive examples ... then further generalised. GOLEM randomly selects a set of positive examples and constructs the rlggs...

RealPaver
 Referenced in 50 articles
[sw04401]
 transcendental elementary functions. Rigourousness: Realpaver covers the solution set of a given problem by means ... covering. Under some conditions, it can prove the existence of solutions to a set...

SparseMatrix
 Referenced in 573 articles
[sw04629]
 Matrix Collection, a large and actively growing set of sparse matrices that arise in real ... publicly available in many formats. Its matrices cover a wide spectrum of domains, include those...

LoLA
 Referenced in 24 articles
[sw04381]
 LoLA supports place/transition nets. Implemented verification techniques cover standard properties (liveness, reversibility, boundedness, reachability, dead ... space reduction, LoLA features symmetries, stubborn sets, and coverability graphs...

TINA
 Referenced in 42 articles
[sw03280]
 partial order techniques such as covering steps and/or persistent sets. For Time Petri nets, which...

geoR
 Referenced in 47 articles
[sw04489]
 dataset used throughout the exemples neither to cover all the details of the package...

2D triangulations
 Referenced in 35 articles
[sw11159]
 various triangulations for point sets two dimensions. Any CGAL triangulation covers the convex hull ... triangulations. Regular triangulations are also provided for sets of weighted points. Delaunay and regular triangulations...

BHOSLIB
 Referenced in 14 articles
[sw08220]
 Problems (Maximum Clique, Maximum Independent Set, Minimum Vertex Cover and Vertex Coloring...

PARSEC
 Referenced in 25 articles
[sw09610]
 that the benchmark suite covers a wide spectrum of working sets, locality, data sharing, synchronization...

MIM
 Referenced in 119 articles
[sw26139]
 Internet. Following an introductory chapter which sets the scene and describes some of the basic ... mixed discrete and continuous variables. Further chapters cover hypothesis testing and model selection. Chapters...

Ogen
 Referenced in 23 articles
[sw18283]
 describe the geometry (a set of overlapping grids whose union covers the domain). The overlapping...

CLUSTAG
 Referenced in 4 articles
[sw30040]
 selecting tag SNPs. Summary: Cluster and setcover algorithms are developed to obtain...

OntoTools
 Referenced in 10 articles
[sw10974]
 determine quickly which array, or set of arrays, covers best the hypotheses studied. In many...

Coquelicot
 Referenced in 11 articles
[sw11552]
 library comes with a comprehensive set of theorems that cover not only these notions...

ROSETTA
 Referenced in 22 articles
[sw10969]
 ROSETTA system. The KDD process using rough sets has been presented and analyzed. Following ... toolkit covers the whole range of KDD tasks within the realm of rough sets...

SABmark
 Referenced in 8 articles
[sw17111]
 covers the entire known fold space. Summary: The Sequence Alignment Benchmark (SABmark) provides sets ... SCOP classification. These sets, Twilight Zone and Superfamilies, both cover the entire known fold space ... intermediate similarity, respectively. In addition, each set has an alternate version in which unalignable...

STRIPACK
 Referenced in 27 articles
[sw00921]
 set of points (nodes) on the surface of the unit sphere. The triangulation covers...