Search Results for "linux system"

ProjectLibre project management software: #1 free alternative to Microsoft Project w/ 7.8M+ downloads in 193 countries. ProjectLibre is a replacement of MS Project & includes Gantt Chart, Network Diagram, WBS, Earned Value etc. This site downloads our FOSS desktop app. 🌐 Try the Cloud: http://www.projectlibre.com/register/trial We also offer ProjectLibre Cloud—a subscription, AI-powered SaaS for teams & enterprises. Cloud supports multi-project management w/ role-based access, central...

Lush is a Lisp dialect with extensions for object-oriented and array-oriented programming. Lush is intended for prototyping numerically intensive applications and is designed for easy integration of existing C/C++/Fortran codes.

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

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.

We humans are bound by intellectual abilities. All knowledge is far beyond power of any person. The only way to apply knowledge is to build machines able to present it human way but not limited by volume. Intellect Modeling Kit (IMK) is intended to build knowledge machines (KM) assisting experts on the steps of activity: * Observation; * Producing propositions based on knowledge; * Elimination of impossible propositions; * Selection and verification of the most appropriate...

General C++ Library, with modules for Computer Vision, Pattern Recognition and much more.

newLISP for BSDs, LINUX, MacOS X, SunOS and Win32: small, fast 350+ functions, a -C-, MySQL, PostgreSQL, SQLite, ODBC, TCP/IP, UDP, XML, Java interface, string processing, regular expressions , math, financial, statistical functions, Win32 DLL

This is a suite of mathematical software solvers interface on DLV and other command-line solvers. It helps researchers and students to better comprehend their declarative definitions published on papers. The user can have links to the related papers and to the software of the corresponding definitions.

OpenPoplog is a multi-language, incrementally-compiled virtual machine-based development environment with its own extensive teaching and support material, supporting the languages Pop-11, Prolog, Common Lisp and ML on Unix, VMS, Linux and Windows.

GamesCrafters is an undergraduate research group at the University of California, Berkeley. GAMESMAN is our software for building text & X11 apps for finite, 2-person abstract perfect-information games (e.g., TicTacToe & chess). We've authored 40+ games

The Rossum Project is an attempt to collect and distribute robotics software. We are seeking help with our first project, a mobile-robot simulator featuring a 2-D virtual world, and new work including artificial intelligence and robot-control logic.

Blackboard implements a lightweight, portable tuple space suitable for multi-agent system and distributed component design. Supports implicit invocation via content-filtered asynchronous events, blocking call semantics, and shared memory messaging.

Zeus provides a graphical environment to build distributed agent systems. A rule engine, planner and visualisation tools are included. The released version contains some extensions for the DAML semantic web project, Web Services integration features, a

PVN evaluates logical formula in a user defined n-valued semantics. Current efforts are aimed at fleshing out the port to GNU\'s prolog environment. Possible uses include embedding into a public domain knowledge base for a defeasible reasoning system.

RobotFlow is a mobile robotics tookit based on FlowDesigner. The visual programming interface provided with FlowDesigner will help people to better visualize & understand what is really happening in the robot's control loops, sensors and actuators.

Perlbox Voice is an voice enabled application to bring your desktop under your command. With a single word, you can start your web browser, your favorite editor or whatever you want. This is the Linux and Unix voice recognition solution.

Hippocampe : Artificial neural network for pattern recognition.

J-Alice is a C++ implementation of an Alicebot clone. It can chat on console, irc and function as a mini-http server. Currently it runs on Linux, BeOS, Windows and Solaris with equal functionality.

JIMHR or "Java Interactive Mathematical Handwriting Recognizer" as the name suggests is the online handwriting recogition system that specializes in mathematical domain. It processes a user's handwriting through mouse or stylus pen and outputs the c

IGLU is a Java class library designed to facilitate sharing of code among Artificial Intelligence/Information Retrieval researchers to illustrate how various problems can be solved in Java. It is developed and maintained by the IGLU Research Group.

This is a Java Email client for academic purpose. It will include the general email client features and other experimental techniques such as uncertain reasoning, HCI principles. This project is not supported now.

Application software, libraries, drivers, and hardware API documentation for Nomad series robots.

This is one approach to implementing the ideas discussed as the Public Domain Knowledge Base. Originally coded by Stephen Reed before joining Cycorp and currently maintained by Vic Bancroft. The next release with contributions made here will be versio