• VERL

  • Referenced in 8 articles [sw21959]
  • VERL: an ontology framework for representing and annotating video events. The notion of ”events ... starts moving. The ability to reason with events is a critical step toward video understanding ... that has produced an ontology framework for representing video events-called Video Event Representation Language ... article presents an extensible event and object ontology expressed in VERL and discusses a detailed...
  • zGPS.AO

  • Referenced in 1 article [sw36139]
  • Inflated Gamma Poisson Shrinker with Adverse Event Ontology. The method zGPS.AO (Zero Inflated Gamma Poisson ... Shrinker with AE (Adverse Event) ontology) is based on the zero-inflated negative binomial distribution ... between a specific vaccine and an adverse event group, as well as associations between that ... Frequency Tables With Ontology, with an Application to the Vaccine Adverse Event Reporting System.” Bangyao...
  • PANTHER

  • Referenced in 15 articles [sw22973]
  • gene family evolution, including inference of evolutionary events, such as speciation and gene duplication. Subfamilies ... used to define HMMs, but gene ontology functional annotations can now be made...
  • BioCaster

  • Referenced in 3 articles [sw37065]
  • contained in the freely available BioCaster ontology which includes information in eight languages focused ... named entity recognition (NER), disease/location detection and event recognition. Higher order event analysis is used ... news articles. Availability: The BioCaster map and ontology are freely available via a web portal...
  • Coq

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

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

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

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

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

  • Referenced in 190 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective...
  • WordNet

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

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

  • Referenced in 51 articles [sw02434]
  • SCRIBE: The design of a large-scale event...
  • L-BFGS

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

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

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

  • Referenced in 289 articles [sw03522]
  • Eiffel is an ISO-standardized, object-oriented programming...
  • SeDuMi

  • Referenced in 1284 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...