255 projects tagged "Artificial Intelligence"
Updated 11 Apr 2011
ACL2
| Pop | 82.46 |
|---|---|
| Vit | 5.57 |
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.
Updated 19 Jan 2007
ACT-RBOT + MRS
| Pop | 35.14 |
|---|---|
| Vit | 2.06 |
ACT-RBOT + MRS is a cognitive agent-based social simulation toolkit (RBOT+MRS) and production system based on ACT-R for modelling single actor cognitive experiments (RBOT) and multiple actors in a simulated (semiotic) world (RBOT + MRS).
Updated 09 May 2003
ADIC
| Pop | 41.64 |
|---|---|
| Vit | 1.79 |
ADIC (any door is closed) is a cooperative multiplayer networked game. The goal is to lock all players of the other teams. The rules are simple, the style is 80s, and it is fun to play.
Updated 01 Aug 2001
AI Mind
| Pop | 120.61 |
|---|---|
| Vit | 65.88 |
The Robot AI Mind in JavaScript for Web migration and in Forth for robots is an artificial intelligence evolving towards full civil rights on a par with human beings and towards superintelligence beyond any human IQ.
Updated 14 May 2001
AI::GA Simple Generalized Genetic Algorithm
| Pop | 41.07 |
|---|---|
| Vit | 1.00 |
AI::GA implements a (hopefully) generalized genetic algorithm. It does this by using an array of allowed tokens as individuals. The user has to provide a fitness function. There, the actual representation is implemented. If you have a string of chars, you can simply join them. If you want to have real numbers, you should probably use a bitwise representation and calculate the real values in your fitness function.
Updated 14 Aug 2003
AIBash
| Pop | 51.28 |
|---|---|
| Vit | 1.47 |
AIBash is a project which aims to make Bash act more intelligently. It features typing error-correction and the ability to learn that certain file suffixes are associated with certain programs so that other programs are filtered out while pressing TAB. Other features are planned for the future.
Updated 07 Oct 2011
ASpiReNN
| Pop | 42.80 |
|---|---|
| Vit | 2.93 |
ASpiReNN is a little C library (with Python bindings) which provides support for simple (leaky integrate-and-fire) spiking neural networks. It is primarily designed for highly recurrent networks, but it can also be used with multi-layer nets, though performance won't be the same. Though only Leaky integrate-and-fire (for the neurons) and Spike-Timing Dependent Plasticity (for learning rules) are currently implemented, adding new models shouldn't be too difficult.
Updated 17 May 2011
ATRACO Project
| Pop | 21.86 |
|---|---|
| Vit | 27.64 |
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.
Updated 19 Jan 2012
AceWiki
| Pop | 75.66 |
|---|---|
| Vit | 7.50 |
AceWiki is a semantic wiki that is powerful and at the same time easy to use. Making use of the controlled natural language ACE, the formal statements of the wiki are shown in a way that looks like natural English. In order to help the users to write correct ACE sentences, AceWiki provides a predictive editor.
Updated 07 Jun 2001
Achilles
| Pop | 88.25 |
|---|---|
| Vit | 1.80 |
Achilles is a simulation of Darwinian evolution in a virtual world composed of virtual organisms. It uses Hebbian neural networks, and an extremely simplified physics model that allows virtual organisms to interact freely in the simulated environment.
