• VR-BFDT

  • Referenced in 1 article [sw22448]
  • functional classes. It uses the label variance reduction as splitting criterion to select the best...
  • pottslab

  • Referenced in 19 articles [sw14425]
  • vector-valued images. We propose a fast splitting approach to the classical variational formulation ... need an a priori discretization of the label space. Furthermore, the number of partitions...
  • LTSmin

  • Referenced in 21 articles [sw07214]
  • toolset for model checking and manipulating labelled transition systems. LTSmin already connects a sizeable number ... combinatorial nature of model checking problems. This splits model checking tools into three mostly independent...
  • Koka

  • Referenced in 11 articles [sw19068]
  • that our effects are not just syntactic labels but have a deep semantic connection ... from a Markdown processor to a tier-splitted chat application. You can try out Koka...
  • Paris-Lille-3D

  • Referenced in 1 article [sw36655]
  • obtained from acquisition to post-processing and labeling. This dataset can be used to learn ... great attention has been paid to the split between the different objects, this dataset...
  • FlatNJ

  • Referenced in 1 article [sw20300]
  • approach to visualize evolutionary and biogeographical relationships. Split networks are a type of phylogenetic network ... drawn in the plane in which labels may appear inside of the network. For complex ... compared to previous methods such as split decomposition and NeighborNet. We illustrate the application...
  • ivadomed

  • Referenced in 1 article [sw35828]
  • such as spinal tumor segmentation and vertebral labeling. Original features of ivadomed include a data ... pathology, age, sex) for custom data splitting or extra information during training and evaluation ... ivadomed include MRI object detection, segmentation, and labeling of anatomical and pathological structures. Overall, ivadomed...
  • Spider

  • Referenced in 1 article [sw42253]
  • Spider: A Large-Scale Human-Labeled Dataset for Complex and Cross-Domain Semantic Parsing ... exact matching accuracy on a database split setting. This shows that Spider presents a strong...
  • NERsuite

  • Referenced in 0 articles [sw19022]
  • sentence-per-line document file, the tokenizer split a sentence into tokens, and computes ... chunking. Finally, the named entity recognizer labels each token with a pre-trained or user...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Expokit

  • Referenced in 200 articles [sw00258]
  • Expokit provides a set of routines aimed at...
  • GAP

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • HSL

  • Referenced in 279 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • LAPACK

  • Referenced in 1702 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Macaulay2

  • Referenced in 1923 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

  • Referenced in 3315 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • nauty

  • Referenced in 609 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...