A real time inference engine for temporal logical specifications
C++ framework for application of any type of evolutionary computation.
Nesting SDK, Library
Tool for Engineering Emergent Selforganizing bEhavioR
MRS/NMR analysis software
Leet is CCEx's software application for on-the-fly encryption (OTFE).
Implementation of duration high-order hidden Markov model in Matlab.
Some Useful C-Utilities
OntoComP is a Protégé 4 plug-in for completing OWL ontologies
Efficient Approximate Nearest Neighbors for General Metric Spaces
combinational logic functions minimization
simplifies boolean functions with Quine-McCluskey algorithm
An educational demo of how sorting algorithms work.