https://sourceforge.net/p/statechum/activity/Recent activity for StateChumenMon, 23 Nov 2015 18:07:38 -0000https://sourceforge.net/p/statechum/discussion/787398/thread/fc16afd7/?limit=25#de48Syed, The current implementation does not use argument values. There is an experimental...Kirill BogdanovMon, 23 Nov 2015 18:07:38 -0000https://sourceforge.net/p/statechum/discussion/787398/thread/fc16afd7/?limit=25#de48https://sourceforge.net/p/statechum/discussion/787398/thread/fc16afd7/?limit=25#cf28Kiril, I got it now. Thank you very much. I have some trace files. I have run an...Syed Samsul ArefinFri, 20 Nov 2015 02:09:45 -0000https://sourceforge.net/p/statechum/discussion/787398/thread/fc16afd7/?limit=25#cf28https://sourceforge.net/p/statechum/discussion/787398/thread/fc16afd7/?limit=25#9dc5Syed, We did some work on generation of FSM from the Java source code based on symbolic...Kirill BogdanovFri, 13 Nov 2015 15:56:12 -0000https://sourceforge.net/p/statechum/discussion/787398/thread/fc16afd7/?limit=25#9dc5https://sourceforge.net/p/statechum/discussion/787398/thread/fc16afd7/?limit=25#5a28Kiril, Thank you very much for that manual. I installed it. It is working on your...Syed Samsul ArefinFri, 13 Nov 2015 06:05:01 -0000https://sourceforge.net/p/statechum/discussion/787398/thread/fc16afd7/?limit=25#5a28https://sourceforge.net/p/statechum/discussion/787398/thread/fc16afd7/?limit=25#5a28Kiril, Thank you very much for that manual. I installed it. It is working on your...Syed Samsul ArefinFri, 13 Nov 2015 05:49:13 -0000https://sourceforge.net/p/statechum/discussion/787398/thread/fc16afd7/?limit=25#5a28https://sourceforge.net/p/statechum/discussion/787398/thread/fc16afd7/?limit=25#5a28Kiril, Thank you very much for that manual. I installed it. It is working on your...Syed Samsul ArefinThu, 12 Nov 2015 21:07:25 -0000https://sourceforge.net/p/statechum/discussion/787398/thread/fc16afd7/?limit=25#5a28https://sourceforge.net/p/statechum/discussion/787398/thread/fc16afd7/?limit=25#79c8Syed, The main repository has now moved to Github, https://github.com/kirilluk/statechum...Kirill BogdanovTue, 06 Oct 2015 18:11:55 -0000https://sourceforge.net/p/statechum/discussion/787398/thread/fc16afd7/?limit=25#79c8https://sourceforge.net/p/statechum/discussion/787398/thread/fc16afd7/?limit=25#5dd9Hello, I'm a grad student. I will have to use this Model Inference Tool for my research...Syed Samsul ArefinMon, 21 Sep 2015 04:44:34 -0000https://sourceforge.net/p/statechum/discussion/787398/thread/fc16afd7/?limit=25#5dd9https://sourceforge.net/p/statechum/code/909/Moved all the work-in-progress branches to a se...Kirill BogdanovThu, 30 Jul 2015 18:48:52 -0000https://sourceforge.net/p/statechum/code/909/https://sourceforge.net/p/statechum/code/908/Merged with the ASE branch, corrected K-tails c...Kirill BogdanovFri, 10 Jul 2015 04:31:38 -0000https://sourceforge.net/p/statechum/code/908/https://sourceforge.net/p/statechum/code/907/Minor improvements from the end of May 2015. St...Kirill BogdanovTue, 07 Jul 2015 19:48:59 -0000https://sourceforge.net/p/statechum/code/907/https://sourceforge.net/p/statechum/code/906/Share project "XMachineTool_FASE" into "svn+ssh...Kirill BogdanovTue, 07 Jul 2015 01:12:01 -0000https://sourceforge.net/p/statechum/code/906/https://sourceforge.net/p/statechum/code/905/Started writing label refinement routines that ...Kirill BogdanovMon, 18 May 2015 07:29:23 -0000https://sourceforge.net/p/statechum/code/905/https://sourceforge.net/p/statechum/code/904/Started work on abstraction based on grouping l...Kirill BogdanovThu, 23 Oct 2014 17:50:09 -0000https://sourceforge.net/p/statechum/code/904/https://sourceforge.net/p/statechum/code/903/Renumbered vertices in CVS reference graph.Kirill BogdanovSat, 18 Oct 2014 07:06:39 -0000https://sourceforge.net/p/statechum/code/903/https://sourceforge.net/p/statechum/code/902/Added CVS case studyKirill BogdanovFri, 17 Oct 2014 22:56:59 -0000https://sourceforge.net/p/statechum/code/902/https://sourceforge.net/p/statechum/code/901/Each random walk now runs as a separate process...Kirill BogdanovThu, 16 Oct 2014 21:07:16 -0000https://sourceforge.net/p/statechum/code/901/https://sourceforge.net/p/statechum/code/900/Corrected GENERAL score computation (which was ...Kirill BogdanovThu, 16 Oct 2014 10:30:02 -0000https://sourceforge.net/p/statechum/code/900/https://sourceforge.net/p/statechum/code/899/Added ktails learner and computation of BCR to ...Kirill BogdanovWed, 15 Oct 2014 21:55:30 -0000https://sourceforge.net/p/statechum/code/899/https://sourceforge.net/p/statechum/code/898/Added EDSM with Sicco's heuristic.Kirill BogdanovMon, 13 Oct 2014 02:52:57 -0000https://sourceforge.net/p/statechum/code/898/https://sourceforge.net/p/statechum/code/897/Added a comparison of EDSM-Markov with ktails a...Kirill BogdanovSun, 12 Oct 2014 23:15:35 -0000https://sourceforge.net/p/statechum/code/897/https://sourceforge.net/p/statechum/code/896/Added Abdullah's experimentsKirill BogdanovFri, 10 Oct 2014 20:30:14 -0000https://sourceforge.net/p/statechum/code/896/https://sourceforge.net/p/statechum/code/895/Create FASE 2015 branchKirill BogdanovFri, 10 Oct 2014 20:10:42 -0000https://sourceforge.net/p/statechum/code/895/https://sourceforge.net/p/statechum/code/893/Added support for Java 8. Timeouts for Erlang t...Kirill BogdanovFri, 26 Sep 2014 22:41:28 -0000https://sourceforge.net/p/statechum/code/893/https://sourceforge.net/p/statechum/code/894/Now testLayoutOptions6 passes.Kirill BogdanovFri, 26 Sep 2014 22:41:28 -0000https://sourceforge.net/p/statechum/code/894/https://sourceforge.net/p/statechum/code/892/Fixed SGE tests for Java 1.6Kirill BogdanovWed, 03 Sep 2014 19:12:10 -0000https://sourceforge.net/p/statechum/code/892/https://sourceforge.net/p/statechum/code/891/Added support for Erlang OTP 17.Kirill BogdanovMon, 01 Sep 2014 23:03:19 -0000https://sourceforge.net/p/statechum/code/891/https://sourceforge.net/p/statechum/code/890/Merged with the Apr_27_2014_inference_with_posi...Kirill BogdanovMon, 01 Sep 2014 03:46:13 -0000https://sourceforge.net/p/statechum/code/890/https://sourceforge.net/p/statechum/code/889/Finished support for running experiments on the...Kirill BogdanovWed, 25 Jun 2014 22:17:08 -0000https://sourceforge.net/p/statechum/code/889/https://sourceforge.net/p/statechum/code/888/Merged with the changes to get fast tests to pa...Kirill BogdanovWed, 25 Jun 2014 19:25:42 -0000https://sourceforge.net/p/statechum/code/888/https://sourceforge.net/p/statechum/code/887/Finished SGE experiment runner that permits one...Kirill BogdanovTue, 24 Jun 2014 20:52:59 -0000https://sourceforge.net/p/statechum/code/887/https://sourceforge.net/p/statechum/code/886/Minor revision in order to run on the Iceberg g...Kirill BogdanovMon, 23 Jun 2014 19:47:59 -0000https://sourceforge.net/p/statechum/code/886/https://sourceforge.net/p/statechum/code/885/Made EDSM-Markov learner the default learner.Kirill BogdanovThu, 08 May 2014 20:29:25 -0000https://sourceforge.net/p/statechum/code/885/https://sourceforge.net/p/statechum/code/884/Added tests for a few routines used in the expe...Kirill BogdanovSun, 27 Apr 2014 16:56:00 -0000https://sourceforge.net/p/statechum/code/884/https://sourceforge.net/p/statechum/code/883/Branch off ASE2014 for subsequent experimentsKirill BogdanovSun, 27 Apr 2014 16:21:25 -0000https://sourceforge.net/p/statechum/code/883/https://sourceforge.net/p/statechum/code/882/Added an experiment with FanoutScore disabled (...Kirill BogdanovSat, 26 Apr 2014 02:31:48 -0000https://sourceforge.net/p/statechum/code/882/https://sourceforge.net/p/statechum/code/881/Removed junkKirill BogdanovFri, 25 Apr 2014 22:31:01 -0000https://sourceforge.net/p/statechum/code/881/https://sourceforge.net/p/statechum/code/880/Experiments for ASE2014Kirill BogdanovFri, 25 Apr 2014 22:29:52 -0000https://sourceforge.net/p/statechum/code/880/https://sourceforge.net/p/statechum/code/879/Added the experiment with learning from both po...Kirill BogdanovFri, 25 Apr 2014 22:27:27 -0000https://sourceforge.net/p/statechum/code/879/https://sourceforge.net/p/statechum/code/878/Added experiment with negativesKirill BogdanovThu, 24 Apr 2014 22:51:38 -0000https://sourceforge.net/p/statechum/code/878/https://sourceforge.net/p/statechum/code/877/More experiments added.Kirill BogdanovThu, 24 Apr 2014 22:22:25 -0000https://sourceforge.net/p/statechum/code/877/https://sourceforge.net/p/statechum/code/876/Yet more small changes.Kirill BogdanovThu, 24 Apr 2014 07:28:40 -0000https://sourceforge.net/p/statechum/code/876/https://sourceforge.net/p/statechum/code/875/Minor changesKirill BogdanovTue, 22 Apr 2014 16:49:08 -0000https://sourceforge.net/p/statechum/code/875/https://sourceforge.net/p/statechum/code/874/Minor improvements.Kirill BogdanovFri, 18 Apr 2014 20:13:29 -0000https://sourceforge.net/p/statechum/code/874/https://sourceforge.net/p/statechum/code/873/Experimental setup is nearly completeKirill BogdanovFri, 18 Apr 2014 03:49:31 -0000https://sourceforge.net/p/statechum/code/873/https://sourceforge.net/p/statechum/code/872/The main experiment runner is now configurable.Kirill BogdanovFri, 18 Apr 2014 00:23:42 -0000https://sourceforge.net/p/statechum/code/872/https://sourceforge.net/p/statechum/code/871/Graphs from the fast yesterdays version, effect...Kirill BogdanovThu, 17 Apr 2014 11:42:58 -0000https://sourceforge.net/p/statechum/code/871/https://sourceforge.net/p/statechum/code/870/Minor improvements, tmpASE2014 is the version o...Kirill BogdanovThu, 17 Apr 2014 03:03:28 -0000https://sourceforge.net/p/statechum/code/870/https://sourceforge.net/p/statechum/code/869/Further performance improvements, ASE learner i...Kirill BogdanovWed, 16 Apr 2014 20:34:56 -0000https://sourceforge.net/p/statechum/code/869/https://sourceforge.net/p/statechum/code/868/Revised inconsistency computation to run on a s...Kirill BogdanovTue, 15 Apr 2014 06:02:59 -0000https://sourceforge.net/p/statechum/code/868/https://sourceforge.net/p/statechum/code/867/Revised state merging and Markov matrix-related...Kirill BogdanovTue, 15 Apr 2014 02:49:50 -0000https://sourceforge.net/p/statechum/code/867/https://sourceforge.net/p/statechum/code/866/Added changes from Abdullah for ASE 2014Kirill BogdanovFri, 11 Apr 2014 23:36:27 -0000https://sourceforge.net/p/statechum/code/866/https://sourceforge.net/p/statechum/code/865/Kirill BogdanovMon, 24 Feb 2014 21:28:16 -0000https://sourceforge.net/p/statechum/code/865/https://sourceforge.net/p/statechum/code/864/Merged with CAV2014 branch, Kirill BogdanovFri, 14 Feb 2014 22:20:53 -0000https://sourceforge.net/p/statechum/code/864/https://sourceforge.net/p/statechum/code/863/Corrected computation of Markov accuracyKirill BogdanovMon, 10 Feb 2014 01:49:30 -0000https://sourceforge.net/p/statechum/code/863/https://sourceforge.net/p/statechum/code/862/Uncommented all parts of the experimental setup...Kirill BogdanovFri, 07 Feb 2014 23:57:57 -0000https://sourceforge.net/p/statechum/code/862/https://sourceforge.net/p/statechum/code/861/Minor changes to Sicco scoring and general impr...Kirill BogdanovFri, 07 Feb 2014 05:10:13 -0000https://sourceforge.net/p/statechum/code/861/https://sourceforge.net/p/statechum/code/860/Minor revision to the experiment in order to re...Kirill BogdanovThu, 06 Feb 2014 23:21:02 -0000https://sourceforge.net/p/statechum/code/860/https://sourceforge.net/p/statechum/code/859/Revised the experiments to compare Markov with ...Kirill BogdanovThu, 06 Feb 2014 15:02:07 -0000https://sourceforge.net/p/statechum/code/859/https://sourceforge.net/p/statechum/code/858/Added different scoring methods.Kirill BogdanovThu, 06 Feb 2014 00:09:22 -0000https://sourceforge.net/p/statechum/code/858/https://sourceforge.net/p/statechum/code/857/Further improvements. The experiment appears to...Kirill BogdanovWed, 05 Feb 2014 02:40:37 -0000https://sourceforge.net/p/statechum/code/857/https://sourceforge.net/p/statechum/code/856/Major improvements to memory efficiency.Kirill BogdanovTue, 04 Feb 2014 23:01:42 -0000https://sourceforge.net/p/statechum/code/856/https://sourceforge.net/p/statechum/code/855/Added another experiment, this time a very unfa...Kirill BogdanovTue, 04 Feb 2014 04:50:23 -0000https://sourceforge.net/p/statechum/code/855/https://sourceforge.net/p/statechum/code/854/A few more experimentsKirill BogdanovMon, 03 Feb 2014 06:03:13 -0000https://sourceforge.net/p/statechum/code/854/https://sourceforge.net/p/statechum/code/853/A few more experiments for the paper.Kirill BogdanovFri, 31 Jan 2014 22:54:03 -0000https://sourceforge.net/p/statechum/code/853/https://sourceforge.net/p/statechum/code/852/Added details of the CAV2014 experimentKirill BogdanovThu, 30 Jan 2014 02:06:12 -0000https://sourceforge.net/p/statechum/code/852/https://sourceforge.net/p/statechum/code/851/Kirill BogdanovWed, 29 Jan 2014 23:06:36 -0000https://sourceforge.net/p/statechum/code/851/https://sourceforge.net/p/statechum/code/850/Removed template specifications where they were...Kirill BogdanovWed, 29 Jan 2014 21:26:19 -0000https://sourceforge.net/p/statechum/code/850/https://sourceforge.net/p/statechum/code/849/Eliminated another nullpointer, this time in th...Kirill BogdanovWed, 22 Jan 2014 23:43:46 -0000https://sourceforge.net/p/statechum/code/849/https://sourceforge.net/p/statechum/code/848/Eliminated a null-pointer exception when select...Kirill BogdanovWed, 22 Jan 2014 23:23:26 -0000https://sourceforge.net/p/statechum/code/848/https://sourceforge.net/p/statechum/code/847/Merged with the Jan 1 branch.Kirill BogdanovWed, 15 Jan 2014 02:56:57 -0000https://sourceforge.net/p/statechum/code/847/https://sourceforge.net/p/statechum/code/846/Reverted to the experiment I did earlier, while...Kirill BogdanovWed, 15 Jan 2014 02:31:40 -0000https://sourceforge.net/p/statechum/code/846/https://sourceforge.net/p/statechum/code/845/Reverted to the experiment I did earlier, while...Kirill BogdanovWed, 15 Jan 2014 02:30:56 -0000https://sourceforge.net/p/statechum/code/845/https://sourceforge.net/p/statechum/code/844/Linear now builds on MacOS 10.6 with OpenBlas f...Kirill BogdanovSun, 12 Jan 2014 23:17:56 -0000https://sourceforge.net/p/statechum/code/844/https://sourceforge.net/p/statechum/code/843/First attempt at the revised learner, this one ...Kirill BogdanovFri, 10 Jan 2014 23:17:45 -0000https://sourceforge.net/p/statechum/code/843/https://sourceforge.net/p/statechum/code/842/Trying to make it possible to start learning fr...Kirill BogdanovTue, 07 Jan 2014 08:53:45 -0000https://sourceforge.net/p/statechum/code/842/https://sourceforge.net/p/statechum/code/841/Various improvements, based on the work to esta...Kirill BogdanovTue, 07 Jan 2014 00:21:48 -0000https://sourceforge.net/p/statechum/code/841/https://sourceforge.net/p/statechum/code/840/Corrected a few defects in Markov learner, in o...Kirill BogdanovMon, 06 Jan 2014 23:36:53 -0000https://sourceforge.net/p/statechum/code/840/https://sourceforge.net/p/statechum/code/839/Corrected a few defects in Markov learner, in o...Kirill BogdanovMon, 06 Jan 2014 23:36:05 -0000https://sourceforge.net/p/statechum/code/839/https://sourceforge.net/p/statechum/code/838/Made the learning consistent with the earlier v...Kirill BogdanovMon, 06 Jan 2014 03:12:35 -0000https://sourceforge.net/p/statechum/code/838/https://sourceforge.net/p/statechum/code/837/Factored out classification using Markov learne...Kirill BogdanovSun, 05 Jan 2014 03:50:57 -0000https://sourceforge.net/p/statechum/code/837/https://sourceforge.net/p/statechum/code/836/About to abandon the idea of building determini...Kirill BogdanovFri, 03 Jan 2014 20:28:32 -0000https://sourceforge.net/p/statechum/code/836/https://sourceforge.net/p/statechum/code/835/Minor changes before major refactoring. Present...Kirill BogdanovWed, 01 Jan 2014 20:40:21 -0000https://sourceforge.net/p/statechum/code/835/https://sourceforge.net/p/statechum/code/834/Experiment with predictions in inverse directionKirill BogdanovWed, 01 Jan 2014 03:13:58 -0000https://sourceforge.net/p/statechum/code/834/https://sourceforge.net/p/statechum/code/833/Improved the current learner - it seems to do w...Kirill BogdanovTue, 31 Dec 2013 00:14:26 -0000https://sourceforge.net/p/statechum/code/833/https://sourceforge.net/p/statechum/code/832/Minor changes to the learner.Kirill BogdanovThu, 19 Dec 2013 04:28:57 -0000https://sourceforge.net/p/statechum/code/832/https://sourceforge.net/p/statechum/code/831/Added support for checking of paths of arbitrar...Kirill BogdanovWed, 18 Dec 2013 23:10:19 -0000https://sourceforge.net/p/statechum/code/831/https://sourceforge.net/p/statechum/code/830/Corrected a problem with an previous version of...Kirill BogdanovTue, 17 Dec 2013 02:45:12 -0000https://sourceforge.net/p/statechum/code/830/https://sourceforge.net/p/statechum/code/829/Merged with my work on MarkovKirill BogdanovFri, 13 Dec 2013 03:54:00 -0000https://sourceforge.net/p/statechum/code/829/https://sourceforge.net/p/statechum/code/828/Minor changes to tests for MarkovKirill BogdanovFri, 13 Dec 2013 03:48:45 -0000https://sourceforge.net/p/statechum/code/828/https://sourceforge.net/p/statechum/code/827/Finished testing Markov updates and predictions.Kirill BogdanovThu, 12 Dec 2013 20:42:12 -0000https://sourceforge.net/p/statechum/code/827/https://sourceforge.net/p/statechum/code/826/temporary version where Markov now should gener...Kirill BogdanovWed, 11 Dec 2013 22:41:02 -0000https://sourceforge.net/p/statechum/code/826/