Search Results for "eclipse"

The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.

TXM is a free and open-source cross-platform Unicode & XML based text analysis environment and graphical client, supporting Windows, Linux and Mac OS X. It can also be used online as a J2EE standard compliant web portal (GWT based) with access control built in. DOWNLOAD LATEST VERSION OF TXM : http://textometrie.ens-lyon.fr/spip.php?rubrique61&lang=en TXM offers a comprehensive range of analysis tools (concordances, collocate search, frequency lists, etc.) based on the powerfull CQP...

Flora-2 is a powerful knowledge representation and reasoning system designed for building knowledge-intensive applications. It is based on F-logic, HiLog, Transaction Logic, and also supports defeasible reasoning. Applications include intelligent agents, Semantic Web, ontology management, and more. If you use Flora-2 and like it, please acknowledge it in your project!

...Versions For a first test of the game mechanics in your browser, download the Javascript version, coded by Jan-Hendrik Vienup (December 2014, GPL) tested with Firefox, MSIE, Chrome, and Safari : RuleRule3.zip First created with NeXT Interface Builder and Objective-C files (1995, Mach OS): rulerule.gz (Creative Commons Attribution License). For some history, see http://hilgemeier.gmxhome.de/codes/rulerule.htm Unfinished Java project, running under Eclipse Luna with Windows 7 (2012, LGPL). Contains notes and design diagrams for possible future development. Doxygen-documented : RuleRule2.00_working.zip

The present invention is an application for Android platform that recognizes Jakim’s Halal logo and acknowledge users whether certain logo is Jakim’s Halal logo or not using embedded system technology, real-time processing, computer vision, pattern recognition, and machine learning algorithm just by taking the picture of any Halal logo.

Classical genetic algorithm suffers heavy pressure of fitness evaluation for time-consuming optimization problems. To address this problem, we present an efficient genetic algorithm by the combination with clustering methods. The high efficiency of the proposed method results from the fitness estimation and the schema discovery of partial individuals in current population and. Specifically, the clustering method used in this paper is affinity propagation. The numerical experiments...

CmorQ ( BlueGene ) was a project that created for robocup 2d soccer simulation league.