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

KernSmooth
 Referenced in 919 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 61 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 52 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 646 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 26 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 44 articles
[sw03280]
 partial order techniques such as covering steps and/or persistent sets. For Time Petri nets, which...

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

2D triangulations
 Referenced in 36 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 16 articles
[sw08220]
 Problems (Maximum Clique, Maximum Independent Set, Minimum Vertex Cover and Vertex Coloring...

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

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

MIM
 Referenced in 129 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 25 articles
[sw18283]
 describe the geometry (a set of overlapping grids whose union covers the domain). The overlapping...

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

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

ROSETTA
 Referenced in 23 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...

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

IsoRank
 Referenced in 12 articles
[sw08324]
 these are the first set of functional orthologs that cover all the five species...