-
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...
-
Silhouettes
- Referenced in 215 articles
[sw03705]
- Silhouettes: a graphical aid to the interpretation and...
-
SeDuMi
- Referenced in 1284 articles
[sw04002]
- SeDuMi is a Matlab toolbox for solving optimization...