OStatic

Daikon is an implementation of dynamic detection of likely invariants. An invariant is a property (such as "x=2*y+5" or "th...

A framework for building, deploying and managing well-described REST-ful Web services, including REST-ful Web Services realizations for RSS, XML Topic...

Solving problems of counting the number of vehicles passing on a road during an interval time, as well as the problems of vehicles classification and ...

The goal of the project is to provide a framework for neuronal net applications.

Nokia Research Center's open source toolkit for Semantic Web development, written in Common Lisp.

OSoRA is artificial intelligence engine: an advanced rule-based expert system, integrating most recent features that can be found in leading commercia...