• Scikit

  • Referenced in 611 articles [sw08058]
  • Scikit-learn: machine learning in python. Scikit-learn is a Python module ... integrating a wide range of state-of-the-art machine learning algorithms for medium-scale...
  • Esterel

  • Referenced in 166 articles [sw20012]
  • which translates Esterel programs into finite-state machines. It is one of a family...
  • Modelica

  • Referenced in 125 articles [sw04352]
  • involving mechanical, electrical, hydraulic control and state machine subsystems, process oriented applications and generation...
  • AsmL

  • Referenced in 45 articles [sw11363]
  • AsmL: Abstract State Machine Language. AsmL is an industrial-strength executable specification language ... literate specifications. AsmL is the Abstract State Machine Language. The FSE group develops AsmL ... based on the theory of Abstract State Machines, invented by Yuri Gurevich. The current version...
  • StateFlow

  • Referenced in 45 articles [sw04350]
  • sequential decision logic based on state machines and flow charts. Stateflow lets you combine graphical ... fault management applications. Stateflow includes state machine animation and static and run-time checks...
  • MAGIC

  • Referenced in 38 articles [sw14159]
  • verifies conformance of software components against state-machine specifications. To this aim, MAGIC extracts abstract...
  • Grail

  • Referenced in 22 articles [sw00374]
  • symbolic computation environment for finite-state machines, regular expressions, and other formal language theory objects ... machines, and for efficient computation with machines. Grail is written ... enables you to manipulate parameterizable finite-state machines and regular expressions. By `parameterizable’, we mean ... define the alphabet of a finite-state machine or regular expression. Version 2.4 of Grail...
  • VIATRA2

  • Referenced in 33 articles [sw03511]
  • combining graph transformation and abstract state machines into a single specification paradigm. This language offers...
  • OpenCV

  • Referenced in 117 articles [sw11376]
  • applications and to accelerate the use of machine perception in the commercial products. Being ... both classic and state-of-the-art computer vision and machine learning algorithms. These algorithms...
  • NEOS

  • Referenced in 95 articles [sw13740]
  • Server provides access to more than 60 state-of-the-art solvers in more than ... Madison run on distributed high-performance machines enabled by the HTCondor software ... remote solvers run on machines at Argonne National Laboratory, Arizona State University, the University...
  • SOCS

  • Referenced in 147 articles [sw07737]
  • process control and machine tool path definition. Sparse Nonlinear Programming exploits state...
  • BuDDy

  • Referenced in 23 articles [sw05791]
  • project on model checking of finite state machines by Jorn Lind-Nielsen. The package...
  • CafeOBJ

  • Referenced in 171 articles [sw06232]
  • behavioral system verification. We report on a machine supported method for verifying safety properties ... first-order description of underlying state transition systems. By capturing a set of states...
  • LSTM

  • Referenced in 30 articles [sw03373]
  • programs that are not learnable by traditional machine learning methods. This explains the rapidly growing ... Hidden Markov Models (no continuous internal states ... feedforward networks and Support Vector Machines (no internal states at all). Our recent applications include...
  • VIS

  • Referenced in 17 articles [sw40003]
  • collection of interacting finite state machines...
  • MAVEN

  • Referenced in 10 articles [sw07659]
  • based on model checking of a state machine constructed using the linear temporal logic ... join-points, and the state machine of the aspect advice. The tableau...
  • CoreASM

  • Referenced in 14 articles [sw01936]
  • CoreASM plug-in architecture. Abstract State Machines are known for their versatility in modeling...
  • SMV

  • Referenced in 13 articles [sw04135]
  • designed to allow the description of finite state system that range from completely synchronous ... specify a system as a synchronous Mealy machine or as an asynchronous network of abstract ... intended to describe finite state machines, the only data types in the language are finite...
  • HOGWILD

  • Referenced in 65 articles [sw28396]
  • achieve state-of-the-art performance on a variety of machine learning tasks. Several researchers...
  • XASM

  • Referenced in 7 articles [sw21003]
  • XASM- An Extensible, Component-Based Abstract State Machines Language. The Abstract State Machine...