Open-Source Framework for Distributed Constraint Optimization (DCOP)
FRODO is a Java platform to solve Distributed Constraint Satisfaction Problems (DisCSPs) and Optimization Problems (DCOPs). It provides implementations for a variety of algorithms, including DPOP (and its variants), ADOPT, SynchBB, DSA...
The DjVu complete solution,with OCR Technology(Arabic ,English).
DjVu++ is a user-friendly program that used to manipulate DjVu file formats such as eBooks with a penalty of editing features. The program introduce a free replacement for the property PDF format with similar resolution and smaller file size DjVu++ also support OCR to handle text in scanned books and images. The program shows good performance for English. In addition to the Arabic language to lead free and commercial software in this area. The main features of DjVu++ program are: o Manipulate DjVu files. o Support smaller size than PDF with the same performance. o DjVu++ supports two languages in the OCR technique (Arabic and English). o Read multiple documents at the same time with the new tabs feature. o DjVu++ supports multiple formats: Convert PDF document into DjVu format with smaller file size and the same performance. Convert DjVu into PDF format. Combine images to a single DjVu document. Perform OCR operations on multiple image formats.
A collaboration platform that enables non-locking, synchronous, real-time collaborative (NOT text only) editing with editor independence. It also provides edit by edit session playback. To collaborate just enter a name, group and password.
The C++ library Geneva allows to run large scale parametric optimization problems. It can run in serial or multi-threaded mode or in a networked environment. The library currently covers Evolutionary Strategies, Genetic Algorithms and mixed scenarios.
A real time inference engine for temporal logic specifications
A real time inference engine for temporal logic specifications, which is able to process and generate any binary signal through Linux IPC or files. Specifications of signals are represented as special graphs and executed in real time. Accepted language provides timed logic operators, conditional operators, interval operators, bounded quantifiers and parametrization of signals.