Download JAR files tagged by bernhard with all dependencies

Search JAR files by class name

learnlib-dhc from group de.learnlib (version 0.17.0)

Group: de.learnlib Artifact: learnlib-dhc
Show all versions Show documentation Show source

1 downloads

Artifact learnlib-dhc
Group de.learnlib
Version 0.17.0

learnlib-aaar from group de.learnlib (version 0.17.0)

Group: de.learnlib Artifact: learnlib-aaar
Show documentation Show source

0 downloads

Artifact learnlib-aaar
Group de.learnlib
Version 0.17.0

learnlib-ttt from group de.learnlib (version 0.17.0)

This artifact provides the implementation of the TTT algorithm as described in the paper "The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning" (https://doi.org/10.1007/978-3-319-11164-3_26) by Malte Isberner, Falk Howar, and Bernhard Steffen.

Group: de.learnlib Artifact: learnlib-ttt
Show all versions Show documentation Show source

1 downloads

Artifact learnlib-ttt
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 15
Dependencies learnlib-api, learnlib-counterexamples, learnlib-datastructure-dt, learnlib-datastructure-list, learnlib-util, guava, automata-api, automata-commons-smartcollections, automata-core, checker-qual, slf4j-api, buildergen, learnlib-learner-it-support, learnlib-learning-examples, testng,
There are maybe transitive dependencies!

learnlib-oml from group de.learnlib (version 0.17.0)

Group: de.learnlib Artifact: learnlib-oml
Show documentation Show source

0 downloads

Artifact learnlib-oml
Group de.learnlib
Version 0.17.0

learnlib-procedural from group de.learnlib (version 0.17.0)

This artifact provides the implementations of various learning algorithms for systems of procedural automata such as the ones described in the papers "Compositional learning of mutually recursive procedural systems (https://doi.org/10.1007/s10009-021-00634-y) and "From Languages to Behaviors and Back" (https://doi.org/10.1007/978-3-031-15629-8_11) by Markus Frohme and Bernhard Steffen.

Group: de.learnlib Artifact: learnlib-procedural
Show documentation Show source

0 downloads

Artifact learnlib-procedural
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 19
Dependencies learnlib-api, learnlib-counterexamples, learnlib-datastructure-ot, learnlib-kearns-vazirani, learnlib-lstar, learnlib-observation-pack, learnlib-oml, learnlib-ttt, learnlib-util, guava, automata-api, automata-commons-util, automata-core, automata-util, buildergen, checker-qual, learnlib-learner-it-support, learnlib-learning-examples, testng,
There are maybe transitive dependencies!

alternatingDecisionTrees from group nz.ac.waikato.cms.weka (version 1.0.5)

Binary-class and multi-class alternating decision trees. For more information see: Freund, Y., Mason, L.: The alternating decision tree learning algorithm. In: Proceeding of the Sixteenth International Conference on Machine Learning, Bled, Slovenia, 124-133, 1999. Geoffrey Holmes, Bernhard Pfahringer, Richard Kirkby, Eibe Frank, Mark Hall: Multiclass alternating decision trees. In: ECML, 161-172, 2001.

Group: nz.ac.waikato.cms.weka Artifact: alternatingDecisionTrees
Show all versions Show documentation Show source

2 downloads

Artifact alternatingDecisionTrees
Group nz.ac.waikato.cms.weka
Version 1.0.5
Last update 27. April 2014
Organization University of Waikato, Hamilton, NZ
URL http://weka.sourceforge.net/doc.packages/alternatingDecisionTrees
License GNU General Public License 3
Dependencies amount 1
Dependencies weka-dev,
There are maybe transitive dependencies!

automata-modelchecking-m3c from group net.automatalib (version 0.11.0)

Group: net.automatalib Artifact: automata-modelchecking-m3c
Show documentation Show source

0 downloads

Artifact automata-modelchecking-m3c
Group net.automatalib
Version 0.11.0

Page 1 from 1 (items total 7)