
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: Highthroughput sequencing provides an opportunity ... then describe a novel application of finitestate automaton to map Illumina shortread sequence...

greenery
 Referenced in 1 article
[sw34434]
 manipulating regular expressions (greenery.lego), for producing finitestate 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 stateoftheart finite differencing approach and SuitSparseQR solver ... benefits from parallel computation in multicore 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, dataflow 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, multitape 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 finitestate (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 finitestate and discrete devices. The language is selfextending ... minimal translator written for the native machine environment. Speciality keyboard mappings are highly recommended...

OpenFst
 Referenced in 12 articles
[sw00653]
 opensource library for weighted finitestate 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 32bit machines with 32bit file systems. OutofCore ... Boeing format. Matrix Generators. Routines that generate finitedifferences discretizations of 2 and 3dimensional...

lcpSim
 Referenced in 6 articles
[sw18603]
 Performance simulation of Markovmodulated finitesource 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 steadystate...

FSA
 Referenced in 3 articles
[sw09924]
 algorithms for creating and manipulating weighted finitestate 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 finitestate 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 firstorder logic ... selected from problems that arose within machine learning and data mining research. These research areas ... comes very close to that of the stateofthe art solution. For each...

HFFEM
 Referenced in 2 articles
[sw10427]
 turns out that typically 1520 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 nonrelativistic ground and excited states for a twoelectron 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 stateoftheart works, achieving an increase...