FlowDesigner is a free (GPL/LGPL) data flow oriented development environment. FlowDesigner can be used to build complex applications by combining small, reusable building blocks. In some ways, it is similar to both Simulink and LabView, but is hardly a clone of either.
FlowDesigner features a RAD GUI with a visual debugger. Although FlowDesigner can be used [...]
Fuzzy sets for Ada is a library providing implementations of confidence factors with the operations not, and, or, xor, +, and *, classical fuzzy sets with the set-theoretic operations and the operations of the possibility theory, intuitionistic fuzzy sets with the operations on them, fuzzy logic based on the intuitionistic fuzzy sets and the possibility [...]
Logic Reasoner software is a theorem prover for first-order logic with equality.
The main objective leading the development of Logic Reasoner has been the creation of a flexible architecture: in particular the program has been designed as a generic infrastructure for theorem proving, which forms the basis for a collection of specific proving techniques. These techniques [...]
RT Scheduler is a simulator for hard real-time software scheduling, developed in C#.
RT Scheduler implements a Windows Forms control for displaying a schedule, and an engine with the following algorithms:
· Scheduling: Rate Monotonic Priority Ordering (RMPO), Deadline Monotonic Priority Ordering (DMPO), Earliest Deadline First (EDF).
· Resource access protocols: Non-Preemptive Critical Section (NPCS), Priority Inheritance (PI), [...]
fanntool is a cross platform tool for the Fast Artificial Neural Network (FANN) library.
fanntool software can detect the optimum parameters for an artificial neural network (ANN). It allows you to adjust an ANN’s parameters easily, train with different parameters, and test an ANN
What’s New in This Release:
· You can now run ANN within the FannTool.
Download [...]
Darwin2K is a free, open-source toolkit for robot simulation and automated design. It features numerous simulation capabilities and an evolutionary algorithm capable of automatically synthesizing and optimizing robot designs to meet task-specific performance objectives.
Here are some key features of “Darwin2K”:
· Simulation capabilities
· Kinematic simulation
· Dynamic simulation (forward and inverse), including simulation closed kinematic chains, joint [...]
newLISP is a scripting language for developing web applications and programs in general and in the domains of artificial intelligence (AI) and statistics.
Here are some key features of “newLISP”:
· A Modern Built-In API
· Regular expressions
· Pattern matching with unify
· Networking functions: TCP/IP, UDP, HTTP, ICMP (in net-ping)
· XML functions
· Advanced Math and classic Statistics functions
· [...]
FET is an open source timetabling application for schools, high-schools and some universities.
Here are some key features of “FET”:
· FET is free software (open source). You can freely use, copy, modify and re-distribute it, as GNU/GPL permits (but please consider a donation)
· Localized to English, French, Catalan, Romanian, Malay, Polish, Turkish, Dutch, German, Hungarian and [...]
Boosting is a meta-learning approach that aims at combining an ensemble of weak classifiers to form a strong classifier. Adaptive Boosting (Adaboost) implements this idea as a greedy search for a linear combination of classifiers by overweighting the examples that are misclassified by each classifier.
The icsiboost project implements Adaboost over stumps (one-level decision trees) on [...]
SHOGUN is a machine learning toolbox whose focus is on large scale kernel methods and especially on Support Vector Machines (SVM). The project provides a generic SVM object interfacing to several different SVM implementations, all making use of the same underlying, efficient kernel implementations.
Apart from SVMs and regression, SHOGUN also features a number of linear [...]