• Cell-PLoc

  • 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 n-way combinations ... combinatorial algorithms to generate test sets that cover all valid n-way 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]
  • data-set 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 set-cover 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...
  • Onto-Tools

  • 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...