A real time inference engine for temporal logical specifications
C++ framework for application of any type of evolutionary computation.
Tool for Engineering Emergent Selforganizing bEhavioR
MRS/NMR analysis software
OntoComP is a Protégé 4 plug-in for completing OWL ontologies
Efficient Approximate Nearest Neighbors for General Metric Spaces
An educational demo of how sorting algorithms work.