enow.com Web Search

Search results

1. Results from the WOW.Com Content Network

2. Voyant Tools - Wikipedia

   en.wikipedia.org/wiki/Voyant_Tools

   Voyant "was conceived to enhance reading through lightweight text analytics such as word frequency lists, frequency distribution plots, and KWIC displays." [3] Its interface is composed of panels which perform these varied analytical tasks. These panels can also be embedded in external web texts (e.g. a web article could include a Voyant panel ...

3. List of model checking tools - Wikipedia

   en.wikipedia.org/wiki/List_of_model_checking_tools

   MCL: Model Checking Language; Alternation-Free Modal μ-calculus extended with user-friendly regular expressions and value-passing constructs; subsumes CTL and LTL. mCRL2 mu-calculus: Kozen's propositional modal μ-calculus (excluding atomic propositions), extended with: data-depended processes, quantification over data types, multi-actions ...

4. List of free and open-source software packages - Wikipedia

   en.wikipedia.org/wiki/List_of_free_and_open...

   This is a list of free and open-source software packages (), computer software licensed under free software licenses and open-source licenses.Software that fits the Free Software Definition may be more appropriately called free software; the GNU project in particular objects to their works being referred to as open-source. [1]

5. List of text mining software - Wikipedia

   en.wikipedia.org/wiki/List_of_text_mining_software

   SAS – SAS Text Miner and Teragram; commercial text analytics, natural language processing, and taxonomy software used for Information Management. Sketch Engine – a corpus manager and analysis software which providing creating text corpora from uploaded texts or the Web including part-of-speech tagging and lemmatization or detecting a ...

6. BLAST model checker - Wikipedia

   en.wikipedia.org/wiki/BLAST_model_checker

   The task addressed by BLAST is the need to check whether software satisfies the behavioral requirements of its associated interfaces. BLAST employs counterexample -driven automatic abstraction refinement to construct an abstract model that is then model-checked for safety properties.

7. HMMER - Wikipedia

   en.wikipedia.org/wiki/HMMER

   A profile HMM modelling a multiple sequence alignment. HMMER is a free and commonly used software package for sequence analysis written by Sean Eddy. [2] Its general usage is to identify homologous protein or nucleotide sequences, and to perform sequence alignments.