Results 1 to 20 of 294
Sort by:

  • Valmet
  • Referenced in 9 articles [sw01281]
  • intersect S)/(R union S), b) probabilistic overlap measure for non-binary segmentations, c) mean/median...

  • GIST
  • Referenced in 11 articles [sw09876]
  • turn-based probabilistic games with ω-regular objectives; and (b) synthesizes reasonable environment assumptions ... reduction-based techniques to solve turn-based probabilistic games, and uses the analysis of turn...

  • Pfold
  • Referenced in 12 articles [sw23813]
  • Knudsen, B.; Hein, J. J.: Pfold: RNA secondary structure prediction using stochastic context-free grammars ... explicit evolutionary model and a probabilistic model of structures. Predictions can be done...

  • TSMining
  • Referenced in 1 article [sw29030]
  • found in B. Chiu, E. Keogh, S. Lonardi, Probabilistic discovery of time series motifs...

  • jpHMM
  • Referenced in 4 articles [sw10925]
  • jumping profile Hidden Markov Model) is a probabilistic approach to compare a sequence ... recombinations in HIV-1 and hepatitis B virus (HBV) genomes. For a query sequence phylogenetic...

  • SoDA2
  • Referenced in 3 articles [sw23149]
  • repertoires produced in response to infection, in B-cell neoplasms and in autoimmune disease. Often ... this article is to develop a probabilistic model of the rearrangement process and a Bayesian...

  • pGOLOG
  • Referenced in 3 articles [sw01479]
  • effects of a candidate plan and b) to update their beliefs during on-line execution ... programming language GOLOG, allows the specification of probabilistic beliefs about the state of the world...

  • GNBSL
  • Referenced in 2 articles [sw26874]
  • composition, dipeptide composition, and segment composition. Four probabilistic neural network (PNN) classifiers are used ... GNBSL is higher than those of PSORT-B, CELLO, and PSLpred. A web server GNBSL...

  • FactInt
  • Referenced in 0 articles [sw21199]
  • form bk+/-1 for `small’ b. The code for accessing these tables has been contributed ... factoring methods implemented in this package are probabilistic. In particular the time needed...

  • ANSYS
  • Referenced in 713 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...

  • ACL2
  • Referenced in 291 articles [sw00060]
  • ACL2 is both a programming language in which...

  • BARON
  • Referenced in 361 articles [sw00066]
  • BARON is a computational system for solving nonconvex...

  • CGAL
  • Referenced in 402 articles [sw00118]
  • The goal of the CGAL Open Source Project...

  • CLPS-B
  • Referenced in 7 articles [sw00132]
  • This paper proposes an approach to the evaluation...

  • Coq
  • Referenced in 1906 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 3221 articles [sw00320]
  • GAP is a system for computational discrete algebra...

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

  • Isabelle
  • Referenced in 719 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...

  • Kronecker
  • Referenced in 119 articles [sw00495]
  • Kronecker is a package for Magma computer algebra...