• CLIN

  • Referenced in 6 articles [sw19618]
  • three inference procedures: semantic hyper-linking, which uses semantics to guide the proof search ... clauses is given as input. During the search for the proof, ground instances ... describe the system architecture and major inference rules used in CLIN...
  • FASTA3

  • Referenced in 7 articles [sw15724]
  • databases become more complete, a sequence similarity search is more likely to reveal a database ... sequence with statistically significant similarity, and thus inferred homology, to a query sequence. Indeed, even...
  • Maude-NPA

  • Referenced in 29 articles [sw12159]
  • Analyzer (Maude-NPA) is a tool and inference system for reasoning about the security ... original NPA, looks for attacks by searching backwards from an insecure attack state, and assumes...
  • ddepn

  • Referenced in 1 article [sw14723]
  • inference from longitudinal high-throughput data using two different sampling based network structure search algorithms...
  • COCONUT

  • Referenced in 38 articles [sw04760]
  • commercial and open-source solver components (inference engines). The first test version of the environment ... VGTL (Vienna Graph Template Library), and the search database is based on the VDBL (Vienna...
  • GutenTag

  • Referenced in 5 articles [sw35329]
  • SEQUEST. A new sequence tag database search algorithm, called GutenTag, makes it possible to identify ... variations. This software automates the process of inferring partial sequence “tags” directly from the spectrum ... multiple candidate sequences result from the database search, the software evaluates which is the best...
  • METEOR

  • Referenced in 16 articles [sw26327]
  • subsumption and similar devices to reduce redundant search. However, research in logic programming ... there are situations where the significantly higher inference rate may offset the removal of some...
  • Blaise

  • Referenced in 8 articles [sw29867]
  • primitives for the computations arising in probabilistic inference, along with means of composition that support ... recently focused on the implementation of stochastic search processes such as Markov chain Monte Carlo ... multicore processors and computing clusters, and inference schemes based on variational methods and message passing...
  • SATe

  • Referenced in 2 articles [sw24610]
  • Estimation. SATé is a software package for inferring a sequence alignment and phylogenetic tree ... iterative algorithm involves repeated alignment and tree searching operations. The original data set is divided ... aligned and further merged for phylogenetic tree inference. The implementation developed at the University ... prior to 2.2.2). The alignment and tree searching routines are implemented by calling ”external” programs...
  • GARLI

  • Referenced in 1 article [sw29598]
  • algorithm for rapid likelihood inference. GARLI performs heuristic phylogenetic searches under the General Time Reversible...
  • Psyche

  • Referenced in 5 articles [sw28518]
  • correctness but also the completeness of proof search. It addresses the second by offering ... than just the primitives corresponding to the inference rules of the logic in natural deduction...
  • RFSA

  • Referenced in 15 articles [sw03315]
  • regular languages. Most approaches in grammatical inference rely on this notion. Classical algorithms such ... learning algorithm, DeLeTe2, based on the search of inclusion relations between residual languages, which produces...
  • LightDP

  • Referenced in 2 articles [sw22665]
  • engine of LightDP infers most of the proof details, and even searches for the proof...
  • MinX

  • Referenced in 2 articles [sw18523]
  • ultimately a search for meaning, there is much interest in inferring a type (a meaning...
  • MinC

  • Referenced in 2 articles [sw18524]
  • ultimately a search for meaning, there is much interest in inferring a type (a meaning...
  • DENDRAL

  • Referenced in 9 articles [sw23919]
  • stability and within limiting constraints which are inferred from the data by heuristic rules ... computer program is heuristic in that it searches for plausible hypotheses in a small subset...
  • HARP

  • Referenced in 16 articles [sw26323]
  • used both interactively and as an inference engine for Artificial Intelligence applications. Accordingly, HARP ... semantic and world knowledge, guide the search for proofs and help eliminate irrelevant premisses...
  • Sketchplore

  • Referenced in 1 article [sw36259]
  • idea is to automatically infer the designer’s task to search for both local improvements...
  • MemLoci

  • Referenced in 2 articles [sw24068]
  • localization is inferred on the basis of annotation transfer upon sequence similarity search. However, predictive...
  • GNMT

  • Referenced in 13 articles [sw26579]
  • speed, we employ low-precision arithmetic during inference computations. To improve handling of rare words ... overall accuracy of the system. Our beam search technique employs a length-normalization procedure...