• HARD

  • Referenced in 1 article [sw02318]
  • embedding algorithm for state assignment of finite state machines...
  • Decombinator

  • Referenced in 1 article [sw23150]
  • cell receptor sequences using a finite state machine. SUMMARY: High-throughput sequencing provides an opportunity ... then describe a novel application of finite-state automaton to map Illumina short-read sequence...
  • greenery

  • Referenced in 1 article [sw34434]
  • manipulating regular expressions (greenery.lego), for producing finite-state machines (greenery.fsm), and for freely converting between...
  • MALLET

  • Referenced in 21 articles [sw10602]
  • clustering, topic modeling, information extraction, and other machine learning applications to text. MALLET includes sophisticated ... implemented in an extensible system for finite state transducers...
  • SuitSparseQR

  • Referenced in 29 articles [sw07592]
  • stencil is used as a state-of-the-art finite differencing approach and SuitSparseQR solver ... benefits from parallel computation in multi-core machines. Using MATLAB, codes became more readable...
  • SMCube

  • Referenced in 0 articles [sw04930]
  • code generation of discrete time finite state machines (FSM) The idea driving the development ... state machine evolution. But... why a state machine editor? Automatic code generation from functional models ... include both, data-flow subsystems and finite state automatas. The Data Flow part is typically...
  • Finomaton

  • Referenced in 0 articles [sw05525]
  • lets you comfortably draw and typeset finite state machines (automata) and similar graphs. The resulting...
  • JFLAP

  • Referenced in 12 articles [sw10334]
  • topics including nondeterministic finite automata, nondeterministic pushdown automata, multi-tape Turing machines, several types ... minimal state DFA to a regular expression or regular grammar. Click here for more information...
  • Tiburon

  • Referenced in 14 articles [sw01312]
  • interested in Carmel, the very fine finite-state (string) transducer package written by Jonathan Graehl ... should be able to run on your machine. However, if you don’t have java...
  • LYaPAS

  • Referenced in 6 articles [sw32275]
  • programming of synthesis algorithms for finite-state and discrete devices. The language is self-extending ... minimal translator written for the native machine environment. Speciality keyboard mappings are highly recommended...
  • OpenFst

  • Referenced in 12 articles [sw00653]
  • open-source library for weighted finite-state transducers (WFSTs). OpenFst consists of a C++ template ... language processing, pattern and string matching, and machine learning.\parWe give an overview...
  • TAUCS

  • Referenced in 31 articles [sw04014]
  • sparse Cholesky) but not completely state of the art. It uses the BLAS to factor ... tens of gigabytes on 32-bit machines with 32-bit file systems. Out-of-Core ... Boeing format. Matrix Generators. Routines that generate finite-differences discretizations of 2- and 3-dimensional...
  • lcpSim

  • Referenced in 6 articles [sw18603]
  • Performance simulation of Markov-modulated finite-source queueing systems. The simulation tool lcpSim ... heterogeneous machines (requests) and a server that “repairs” the broken machines according to the most ... machines for an operating system and our aim is to give the main steady-state...
  • FSA

  • Referenced in 3 articles [sw09924]
  • algorithms for creating and manipulating weighted finite-state automata. The toolkit has been designed using ... rapidly build a fast and accurate statistical machine translation system. Future extensibility of the toolkit...
  • McScM

  • Referenced in 1 article [sw14482]
  • general framework for the verification of communicating machines. We present McScM, a platform for implementing ... verification algorithms for the class of finite-state processes exchanging messages over reliable, unbounded FIFO...
  • AdaPT

  • Referenced in 5 articles [sw30027]
  • controls the false discovery rate in finite samples. At each iteration of the procedure ... analyst to use any statistical or machine learning method she chooses to estimate the optimal ... performance of AdaPT by comparing it with state of the art methods in five real...
  • IDP3

  • Referenced in 7 articles [sw22941]
  • system. The core of IDP3 is a finite model generator that supports first-order logic ... selected from problems that arose within machine learning and data mining research. These research areas ... comes very close to that of the state-of-the art solution. For each...
  • HFFEM

  • Referenced in 2 articles [sw10427]
  • turns out that typically 15-20 finite elements are sufficient to calculate energies to within ... processor machine. Results have been obtained for the energies of the ground states and excited...
  • corr2el

  • Referenced in 3 articles [sw10319]
  • treating non-relativistic ground and excited states for a two-electron atom having infinite nuclear ... discrete pair functions is implemented. The finite difference method is applied and subsequent extrapolations gives ... program is particularly suitable for shared memory machines such as the Sun Starcat series...
  • SemMT

  • Referenced in 1 article [sw36201]
  • propose SemMT, an automatic testing approach for machine translation systems based on semantic similarity checking ... captured using regular expressions (or deterministic finite automata) where efficient equivalence/similarity checking algorithms are available ... SemMT can achieve higher effectiveness compared with state-of-the-art works, achieving an increase...