350 projects tagged "Artificial Intelligence"

Download No website Updated 28 May 2011 Augmented Syntax Diagrams

Screenshot
Pop 28.51
Vit 44.07

Augmented Syntax Diagrams (ASDs) provide a way to represent grammars of natural languages as directed graphs. Nodes represent instances (or usages) of words and phrase types in a language such as English. Edges link nodes together to indicate how instances of words and phrase types can follow one another to make up phrases, clauses, and sentences in the language.

Download Website Updated 28 May 2011 METSlib

Screenshot
Pop 48.89
Vit 3.61

METSlib is an object-oriented metaheuristics framework in C++ designed to make implementing or adapting models easy. The model is modular: all the implemented search algorithms can be applied to the same model. METSlib implements the basics of some metaheuristics algorithms, such as Random Restart Local Search, Variable Neighborhood Search, Iterated Local Search, Simulated Annealing, and Tabu Search. For each algorithm, you must implement an objective function, a neighborhood (move manager), and some moves. Tabu Search is one of the fastest ways to generate near-optimal solutions to a wide range of hard combinatorial optimization problems.

No download Website Updated 17 May 2011 ATRACO Project

Screenshot
Pop 21.10
Vit 33.27

The ATRACO Project is a prototype implementation of a trusted ambient ecology system that runs and manages activity spheres in an Ambient Intelligence Space. Activity spheres are realized by automatically discovering, selecting, and adapting smart devices (artefacts) existing in the space, according to user's preferences, customs, and activities. OWL ontologies are used for modeling user profile, devices, activities, and goal descriptions. Abstract plans are bound to specific devices, methods, and values through semantic matching.

Download Website Updated 11 Apr 2011 ACL2

Screenshot
Pop 73.21
Vit 4.91

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 No website Updated 28 Mar 2011 ca-ga

Screenshot
Pop 28.32
Vit 34.03

ca-ga is a toy artificial life simulation that uses genetic algorithms on large cellular automata. It uses simple but easily extended DNA that is 8k long by default, though you can take the size out to anything you have time to evolve. It sits under each cell of a 128x128 board and orders operations to transfer energy in the hopes of achieving a kill and breed. The simulation features a mutating fitness function, emergent sex, and a proof of concept real world fitness function. After enough generations, the cells or genes could achieve collectivism and organismhood, coordinating the values of the hotspots that determine board temperature in order to maintain a desired equilibrium. But maybe not. If you work in a fitness function, an optimizing problem solver results.

Download Website Updated 12 Mar 2011 Lush

Screenshot
Pop 126.41
Vit 5.37

Lush is a Lisp dialect with extensions for object-oriented and array-oriented programming. It is intended as a programming environment for prototyping numerically intensive applications. Unlike alternatives like Python or SciLab, Lush is designed for easy integration of existing C/C++/Fortran codes.

No download Website Updated 24 Feb 2011 plexso

Screenshot
Pop 22.18
Vit 1.63

plexso is a C++ library for designing and simulating neural networks. With this library, it's possible to design and simulate feed forward multi-layer neural networks for function approximation with the Levenberg-Marquardt algorithm.

Download Website Updated 22 Dec 2010 Algorithm::Evolutionary

Screenshot
Pop 42.83
Vit 3.34

Algorithm::Evolutionary is a flexible set of classes for doing evolutionary computation in Perl, integrated with XML for evolutionary algorithm description. So far, it contains classes for doing string, tree, and vector array-based evolutionary computation, several variation operators, and simple population-level algorithms. It has been distributed algorithms using SOAP, and integrated with the DBI and HTML::Mason libraries. It contains an XML dialect for definition of evolutionary algorithms, called EvoSpec; experiments defined using Algorithm::Evolutionary can be completely serialized/deserialized using this language.

Download Website Updated 25 Aug 2010 ESKit

Screenshot
Pop 18.55
Vit 1.05

ESKit is a portable C library that provides implementations of some self-adaptive evolution strategies. It features a simple API, comprehensive documentation, three state of the art self-adaptive evolution strategies (Isotropic CSA-ES, CMA-ES, and Separable CMA-ES), and can optionaly uses LAPACK. The implementation strictly follows the published papers introducing those evolution strategies and performs as in the published papers. A basic benchmark program is provided.

Download No website Updated 13 Aug 2010 TexLexAn

Screenshot
Pop 37.58
Vit 1.08

TexLexAn allows you to drag and drop a document or a link to any Web page to analyze. The program will analyze the text, evaluate its readability, categorize the document, summarize it, and archive it.

Screenshot

Project Spotlight

MaraDNS

A domain name server.

Screenshot

Project Spotlight

s6

A process supervision suite and init replacement.