Results 1 to 20 of 125
Sort by:

  • PR-OWL
  • Referenced in 9 articles [sw22024]
  • language for defining probabilistic ontologies. Recent years have witnessed an increasingly mature body of research ... have emerged. Among these is Probabilistic Web Ontology Language (PR-OWL), which provides a means ... representing uncertainty in ontologies expressed in Web Ontology Language (OWL). PR-OWL allows values ... variables from probabilistic theories with the individuals, classes and properties from ontological languages such...

  • ProbCD
  • Referenced in 5 articles [sw20338]
  • efforts to create probabilistic annotations, especially in the Gene Ontology context, or to deal with ... datasets, current enrichment methods largely ignore this probabilistic information since they are mainly based...

  • Pronto
  • Referenced in 3 articles [sw14757]
  • feature for dealing with probabilistic extensions of existing large ontologies. Finally we present the layered...

  • GenXHC
  • Referenced in 2 articles [sw35559]
  • cross-hybridization noise. We present a probabilistic generative model for cross-hybridization in microarray data ... found to produce enrichment in multiple gene ontology–biological process (GO–BP) functional groups...

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

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

  • MapReduce
  • Referenced in 263 articles [sw00546]
  • MapReduce is a new parallel programming model initially...

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

  • R
  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...

  • PRISM
  • Referenced in 442 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...

  • WordNet
  • Referenced in 411 articles [sw01777]
  • WordNet® is a large lexical database of English...

  • RuleML
  • Referenced in 27 articles [sw01792]
  • The goal of the Rule Markup Initiative is...

  • GOLOG
  • Referenced in 173 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...

  • CAPEUS
  • Referenced in 7 articles [sw02248]
  • CAPEUS: An architecture for context-aware selection and...

  • MEBN
  • Referenced in 15 articles [sw02784]
  • A logic system that integrates First Order Logic...

  • L-BFGS
  • Referenced in 806 articles [sw03229]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...

  • PVS
  • Referenced in 629 articles [sw03484]
  • PVS is a verification system: that is, a...

  • Haskell
  • Referenced in 880 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...