Search Results for "software" - Page 71

A tool to extract taxonomy from OWL ontology, translate it into Bayesian Nets and integrate uncertainty knowledge into result BNs.

Clipper is a Python based Shell and Debugger for the CLIPS Expert System (see http://clipsrules.sourceforge.net/). It is currently build on pyGTK and pyCLIPS.

A genetic algorithm framework to allow the evolution of synapse weights and topologies of artificial neural networks.

OpenKS is a knowledge system framework written in java. It is an open and highly plugable framework aimed at teaching students the fundamentals of knowledge systems.

...The open world assumption (OWA) states that the truth value of a statement that is not included in or inferred from the knowledge explicitly recorded in the system shall be considered unknown. The closed world assumption (CWA) is the assumption that any statement that is not known to be true is false. We distinguish yet another case in software testing. Frequently, there are test stubs which simulate the behaviors of the dependent test modules. In this case, the dependent test modules are always assumed to be true when their results are not available. We call this a stub assumption (SA). 3A-TRE example: echo "CWA: (T and U)" | java -jar PTRE.jar Result: F 3A-PTRE example: (P means possible results) echo "OWA: (T,U and U,F)" | java -jar PTRE.jar Result: U,F

Home Security software designed based on Deep Learning architecture using widely used opensource tensorflow platform. It has been tested on ubuntu 15.04/16.04 OS on AMD64 and ARM architecture. The software is distributed under APACHE licence (see licence). The standalone binary executable requires minimal external dependencies as the libraries such as tensorflow, openCV, pygame and others are linked within the software.

Integer Singular Value Decomposition Genetic Algorithm Function Fitter. This is an optimization algorithm that performs a similar role to a neural network.

Provides a voice interface for applications via a plug in system. Allows the inclusion of voice recognition in an application with a minimum of effort.

Model-based AI planner using binary decision diagrams. PropPlan parses PDDL descriptions of the domain and the problem, and outputs a plan.

The "Knight's Tour" is a puzzle the object is to move a knight, to every other square, landing on each square only once. This is usually considered to be a challenging puzzle. I will use a heuristic (hyu̇-ˈris-tik) approach to solve the problem.

A chatbot framework currently implementing the ErkiTalk and irc protocol. By specifying parsers for the server's input one can easily create custom bots (if one can program in java of course ;).

Procedural content generation of deterministic and complex entities, with properties and other entities inside, defined by an editable XML file, along with a framework to simulate actions, compositions, and interactions of entities.

JOptical is a free library for generic computer vision applications. It will include most well known algorithms around this subject and expand on that.

Lastest.cloud is a free, open-source verification of development, self-hosted visual regression and end-to-end testing platform for web applications. An AI agent records you clicking through your running app and generates Playwright tests with multi-selector fallback. Replays are deterministic and token-free, so your CI/CD bill doesn't scale with your test suite. Lastest ships three diff engines side-by-side — pixel (pixelmatch), structural (SSIM), and perceptual (Butteraugli) — so...

The goal of the AI Interface Standards Committee is to develop interface standards for game AI techniques and to promote their implementation.

a sandbox for trying my engine ideas

JFacedec is aimed to build a flexible face detection system based on Java. The plug-in framwork makes it easy for you to share your own Training & Detection Algorithms, compare different methods and make progress together in this field.

Weka++ is a collection of machine learning and data mining algorithm implementations ported from Weka (http://www.cs.waikato.ac.nz/ml/weka/) from Java to C++, with enhancements for usability as embedded components.

This simplesudodu program is intend for studying in the sudoku solution algorithm rather than a game (If you want to make it a game, it's OK ^_^). Later I will implement the 4*4 or other kinds. Different sudoku requires different algorithm to solve.

Bebops ("Belief Base Operations") provides semi-revision, contraction and kernel operators for an OWL-backed Belief Base.

A .Net Library that lets you make full use of multi-core and multiprocessor computers. It is very efficient, and easily integrated into existing applications. It is modeled after the Parallel FX usage model, and is faster than the PFX too.

Sourceforge is no longer being updated! This project has merged into another that can be found here: https://github.com/nicrohobak/Toolbox The designer portion is currently on hold. ------------------------------------------------------------ A C++ neural network toolkit. This project is a C++ library for adding, potentially complicated, neural networks to any project. libNervousSystem is developed in conjunction with the GUI tool, Nervous System Designer, to easily generate...

AntiPython Colab is a source to source compiler that let's you build AI in Java, Rust, JavaScript, Flutter, C#, Go, Ocaml(and etc...) utilizing free Google Colab GPUs! It's blazingly fast and very robust as it uses websockets and the Treesitter C library under the hood.

Smart eye is a C++ API for computer vision that aim to provide real-time ET technology communicating with computer HCI systems.

This projects implements various optimization heuristics and meta-heuristics (such as local search, VND, GRASP, Simulated Annealing, and more still to come) finding solutions on the post enrolment course timetabling problem.