Search Results for "intelligent"

Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.

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!

...YAFU (with assistance from other free software) uses the most powerful modern algorithms (and implementations of them) to factor input integers in a completely automated way. The automation within YAFU is state-of-the-art, combining factorization algorithms in an intelligent and adaptive methodology that minimizes the time to find the factors of arbitrary input integers. Most algorithm implementations are multi-threaded, allowing YAFU to fully utilize multi- or many-core processors (including SNFS, GNFS, SIQS, and ECM). YAFU is primarily a command-line driven tool. You provide the number to factor and, via screen output and log files, YAFU will provide you the factors. ...

ansvif, or A Not So Very Intelligent Fuzzer, suited to find bugs in code by throwing garbage arguments, files, and environment variables at the target program, that you may or may not have the source code to. It supports many features, such as buffer size, randomization of the buffer size, random data injection, templates, and much more. The purpose of this project is to identify bugs in software, specifically bugs that can induce a segmentation fault under various conditions. ...

FractalNow provides users with tools to generate pictures of various types of fractals quickly and easily. It is made of both a command line tool, FractalNow, and a graphical tool, QFractalNow. The graphical tool, based on Qt library, allows users to explore fractals intuitively and generate pictures. Both tools are entirely multi-threaded and implement advanced algorithms and heuristics that make computation very fast compared to most existing free fractal generators.

...For new ComLin drive creation, one needs to download the full install (comlin-016.tar.gz) ... (not just the scripts) Update: Community Linux will now run on most every machine. Update: Added Sound drivers, Intelligent boot drive search. Upd

AIS is an Development Platform providing a high-speed JIT compiler for LISP and JavaScript, web server, object repositories, MySQL integration and libraries supporting a wide variety of advanced genetic programming and symbolic regression techniques.

breve is a free, open-source 3D multi-agent simulation package designed for simulating decentralized systems and artificial life.

Soar is a general cognitive architecture for developing systems that exhibit intelligent behavior. Researchers all over the world, both from the fields of artificial intelligence and cognitive science, are using Soar for a variety of tasks.

The project of mGDesktop is composed by Server(mginit), 2D/3D graphics demo programs, games, notebook, calculator, painter, medical interface example, industrial interface example, intelligent home control interface example, STB interface example.

Uniwin, an intelligent way doing remote development. It is a toolset to make Eclipse/CDT & other IDEs remote development environments of compiling and debugging UNIX programs. With it, Eclipse runs on Windows, but compiles and debugs applications on UNIX

Tas is a multi-platform multi-lingual assembler for the Freescale eTPU intelligent timer module. The assembler has a C compatible pre-processor for easy integration with host CPU code. The assembler also supports the original TPU module.

Sakura is a Knowledge Navigator and User Interface for UNIX, which implements HyperMedia and its own windowing and packing system, both in the main program and in an extensive API for Tcl and other languages.

CAMA (Context-Aware Mobile Agents) is a middleware for supporting mobile agents coordination. It is based on Linda-style coordination and provides numerous extentions for interoperability and fault-tolerance. It supports portable platforms such as PDAs.

tmk - a tcl based intelligent ``make`` tool. This ``make`` tool combines the functionality of a traditional make utility with the power of the Tcl scripting language. tmk works on everywhere

Zeus Grid is a Grid Computing environment usefull to run systems in heterogenous machines at same time. In this first step, it will only compile, run and collect application results and file storage.

A group of systems for building network-oriented intelligent agents, consisting an agent communications infrastructure, April - an agent construction programming language, Go! - a logic programming language and DialoX - an XML-based user interface engine

gICE is a powerful C text editor developed with GTK 2.0 on Linux, the advanced features are: AutoIdentation, Colors, AutoFormating the text, AutoCorrection the program in C (gICE can read the source code and find lexic mistakes) and more.

A web development framework; includes an application server which provides a persistent object cache and transaction support, an intelligent HTML parser, multi-threaded scripting, multiple scripting language support within a single OO framework.

Intelligent and 'ready to run' Makefile for small projects