Safety in numbers.
It's a time reasoner that can be integrated in medical applications.
Generate adaptation contracts between incompatible services
File-'em is an automatic receipts organizer implemented in Java & SWT.
An API for Java developers who need Genetic Algorithms
Q-Learning Framework with example application
A tool that converts CCGBank to PTB
simple algorithm for a realtime interactive visual cortex for painting
Multi Agent Roundbased Simulator
Java Decision Diagrams (BDD) libraries: JDD and JBDD