OStatic

The ECLiPSe Constraint Logic Programming System is designed to support programming in the CLP paradigm and for the development of new constraint solve...

FEAR is a development kit helping software engineers create advanced artificial intelligence in synthetic characters with simplicity and efficiency. ...

Naive-Bayes based classification services for Avalon/Keel framework IOC containers.

A Computer Vision Library in Java

URBI: Universal Robotic Body Interface. URBI is a scripted command language used to control robots (AIBO, pioneer,...). It is a robot-independant API ...

CRML - Conflict Resolution Markup Language - http://www.equiforum.org - is an open source innitiative to develop an XML based Semantic Web ontology (...

Automatic theorem prover and problems solver based on 21 Century Math Method (http://ex-code.com/~porton/math/method.html), a new method which is a re...