RSS 349 projects tagged "Artificial Intelligence"

Download Website Updated 11 Apr 2011 ACL2

Screenshot
Pop 74.30
Vit 4.97

ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.

Download Website Updated 18 Jan 2005 Kandid

Screenshot
Pop 120.97
Vit 4.95

Kandid is a system to evolve graphics. Graphics, in Kandid, are not drawn by hand. Instead, new forms can be found using genetic algorithms. To achieve this aim Kandid simulates evolution using sexual reproduction and mutation. But there is no fitness function inside the program. Only the user can decide what images are interesting. Populations and genes can be stored in XML format. Image calculation is based on Lisp-like expressions, Lindenmayer Systems, Iterated Function Systems, Linear Cellular Automata, Voroni diagrams, and layered textures or isosurfaces rendered by the Persistence of Vision raytracer.

No download Website Updated 16 Sep 2007 RebeccaAIML

Screenshot
Pop 50.70
Vit 4.95

RebeccaAIML is an enterprise cross platform AIML development platform. RebeccaAIML supports C++, Java, C#, Python, and many other programming languages. It allows AIML development out of the box. RebeccaAIML also comes with an array of AIML administration tools, great documentation, and an Eclipse AIML editor plugin.

Download Website Updated 26 Mar 2006 dbacl

Screenshot
Pop 175.19
Vit 4.91

dbacl is a digramic Bayesian text classifier. Given some text, it calculates the posterior probabilities that the input resembles one of any number of previously learned document collections. It can be used to sort incoming email into arbitrary categories such as spam, work, and play, or simply to distinguish an English text from a French text. It fully supports international character sets, and uses sophisticated statistical models based on the Maximum Entropy Principle.

Download Website Updated 25 Feb 2008 the breve simulation environment

Screenshot
Pop 82.23
Vit 4.91

breve is a 3D simulation environment designed for the simulation of decentralized systems and artificial life. While the concept is similar to existing packages such as Swarm and StarLogo, the implementation, which simulates both continuous time and continuous 3D space, is quite different. It also includes an experimental physics engine, allowing the user to implement real-time physical simulations. Simulations are written in a simple object-oriented language called "steve". Users define an agent's behavior by specifying how the agent interacts with the world at each timestep and how the agent interacts when it collides with other agents. The ultimate goal of the system is to allow decentralized simulations to be implemented quickly and easily while providing a sophisticated set of object classes and libraries to facilitate the construction of advanced artificial life simulations.

No download Website Updated 14 Dec 2005 Koalog Constraint Solver

Screenshot
Pop 79.75
Vit 4.62

Koalog Constraint Solver is a powerful constraint solver written in Java. It provides cutting-edge technology for solving satisfaction and optimization problems, including scheduling, time-tabling, resource-allocation, puzzles (sudoku.koalog.com is powered by Koalog Constraint Solver), and configuration (Koalog Configurator is powered by Koalog Constraint Solver).

Download Website Updated 27 Sep 2007 Fast Genetic Algorithm

Screenshot
Pop 122.03
Vit 4.56

FGA (Fast Genetic Algorithm) is a simple yet powerful implementation of genetic algorithms. The library provides many variants of crossover and selection procedures, and a parallel version of the algorithm is included.

Download Website Updated 15 Nov 2005 LTI-Lib

Screenshot
Pop 93.73
Vit 4.44

The LTI-Lib is an object oriented library with algorithms and data structures frequently used in image processing and computer vision. It was developed at the RWTH-Aachen University as a part of many research projects on computer vision dealing with robotics, object recognition, sign language, and gesture recognition. It provides an object oriented C++ library that includes fast algorithms, which can be used in real applications.

No download Website Updated 18 Jan 2007 Joone

Screenshot
Pop 113.89
Vit 4.06

Joone (Java Object Oriented Neural Engine) is an artificial neural network Java framework. It is used to build and train neural networks with a powerful visual environment. It has a modular design and can be easily extended by writing new modules to implement new learning algorithms or architectures.

Download Website Updated 27 Oct 2005 JFDraw

Screenshot
Pop 114.41
Vit 3.99

JFDraw is a Java vector graphics drawing application and library package. It is focused on vector graph drawing field. It is useful for mechanical, electronic, architectural graph drawing applications, or even business process or workflow graphs.

Screenshot

Project Spotlight

c++-gtk-utils

A lightweight library containing a number of classes and functions to ease the task of programming GTK+ programs with C++ in POSIX environments.

Screenshot

Project Spotlight

launch4j

A cross-platform Java application wrapper for creating Windows native executables.