Reasoning

VNCAudio allows remote sound support to be added to VNC on a per-desktop basis by emulating an OSS compatible driver at the kernel level and virtualizing it per-user. The reasoning for a per-UID basis is that resource tracking across multiple processes launched off a VNC desktop is obviated. As...

The most popular logic puzzle in Japan. It is very simple to learn, requires no calculations, and provides a surprisingly wide variety of logic situations. The rules are simple. Each row, column and minibox comprises the numbers 1 through 9. The solver must complete the missing numbers. So the...

Printable expert suduko puzzles..The game of suduko originated in the eighteenth century. It means 'only one number'. It is basically a number in-line game of filling in numbers, it does not involve any calculation knowledge but needs reasoning and logical thinking to come up with the answers.it...


Platforms: Windows

ORFEO Toolbox (OTB) is a high resolution remote sensing image processing library. It contains a set of algorithmic components which allow the user to capitalize on methodological know how, and therefore use an incremental approach to profit from the results of methodological research. The project...


Platforms: *nix

Printable hard suduko puzzles..The game of suduko originated in the eighteenth century. It means 'only one number'. It is basically a number in-line game of filling in numbers, it does not involve any calculation knowledge but needs reasoning and logical thinking to come up with the answers.it is...


Platforms: Windows

The game of suduko originated in the eighteenth century. It means 'only one number'. It is basically a number in-line game of filling in numbers, it does not involve any calculation knowledge but needs reasoning and logical thinking to come up with the answers.it is a good way to give the mind...


Platforms: Windows

Wumpus! is a classic strategy game where you must find Wumpus using your deductive reasoning powers. You can't see Wumpus, and if you end up wandering into him, you'll be startled and he'll have your for breakfast.


Platforms: Mac

Agent is the Transportable Agent Perl module. SYNOPSIS use Agent; my $a = new Agent( Name => path_to_agent.pa, %args ); $a->run(); Agent Perl is meant to be a multi-platform interface for writing and using transportable perl agents. A Perl Agent Is any chunk of Perl code that can...


Platforms: *nix

Try this new game called Linkz and be surprised! Linkz is a mental agility game that tests your powers of deductive and logical reasoning.The rules are very simple: use the mouse to move the coloured pieces to empty spaces, making them coinicide with links to solid polygons of the corresponding...


Platforms: Windows

Fenris is a suite of tools suitable for code analysis, debugging, protocol analysis, reverse engineering, forensics, diagnostics, security audits, vulnerability research and many other purposes. The main logical components are: - Fenris: high-level tracer, a tool that detects the logic used...


Platforms: *nix

Fast Messaging Peer to Peer (FM P2P) is a simple P2P program that forms a TCP-based overlay network by which a user may chat or share files. Why name this FastMessaging when its anything but fast? Simply put, it is a reference to the underlying functioning of the application. TCUP, the protocol...


Platforms: *nix

Dee-Python project is an implementation of a truly relational database language with Python. Inspired by Date and Darwens Third Manifesto, it addresses the problems of impedance mismatch between programming languages and databases and the weakness of SQL. Mind The Gap Most of todays programs...


Platforms: *nix

Virgil projetc is an new, object-oriented, light-weight programming language that is designed for building software for resource-constrained embedded systems at the lowest level. Microcontroller programmers can now develop complete software systems, including hardware drivers and OS services, in...


Platforms: *nix

AI::FuzzyLogic is a Perl module for Fuzzy Set Operations and Tools. SYNOPSIS use AI::FuzzyLogic; $i = new AI::FuzzyLogic $unittype, @numbers; # new set with one subset $i = new AI::FuzzyLogic age, 0, 0.1, 0.2, 0.1, 0; # same thing $i = new AI::FuzzyLogic $subset1, $subset2, $subset3; #...


Platforms: *nix

RMoX is an experimental/research occam-pi/CSP based operating-system for (currently) Pentium based PCs. CSP provides a solid foundation for describing and reasoning about parallel systems and their interactions. The occam-pi language is an enhanced version of occam (based on CSP), that adds...


Platforms: *nix

OMCSNetCPP is a C++ API / Inference Toolkit for OMCSNet. OMCSNetCPP is a C++ API and inference toolkit for accessing OMCSNet, a semantic network mined out of the Open Mind Common Sense knowledge base. This project is based on OMCSNet 1.2, a semantic network and inference toolkit written in...


Platforms: *nix

CurlyML project is a simple, concise format for storing and transmitting structured data and documents. CurlyML allows you describe structured data in a way that is efficiently, easily readable and writeable to both human beings and machines, with no extraneous fuss or redundant markup....


Platforms: *nix

PAN::Porters is a resource for people maintaining packages of CPAN modules in various distributions. SYNOPSIS CPAN modules can be either installed from source (downloaded directly from CPAN) or they can be installed with the package mangement system of your distribution. CPAN::Porters is a...


Platforms: *nix

Printable easy sudoku puzzles.The game of sudoku originated in the eighteenth century. It means 'only one number'. It is basically a number in-line game of filling in numbers, it does not involve any calculation knowledge but needs reasoning and logical thinking to come up with the answers.it is...


Platforms: Windows

The Discrete Event Calculus Reasoner is an open source program for performing automated commonsense reasoning using the event calculus, a comprehensive and highly usable logic-based formalism. It solves problems efficiently by converting them into satisfiability (SAT) problems. Features: - Comes...


Platforms: Windows, Mac, *nix, C/C++, BSD Solaris