Search Results for "software auth program" - Page 3

Online game for developers. Program your team of 4 ants (in LISP) that can reproduce and gain experience and fight against another players in different game modes(CTF, TDM, DM)!

Scanner/Touchscreen Input Handwriting Recognition Software: A handwriting recognition program for Windows that is able to recognize both images from a scanner and data from a touch screen. It also works as an OCR program.

musicomp is a program which most important element is an evolutionary algorithm which uses data mining methods as a fitness function to generate monophone melodies.

Robot Warfare is a real-time strategy game that gives the user an opportunity to manage and program a team of battling robots that autonomously face opposing teams in a network-enabled environment.

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.

Hippal is an integrating GUI-framework for a multimodular symbolic A.I.-system IPAL, which combines A.I. Planning, Inductive Program Synthesis, Analogical Reasoning and Learning. Hippal is client-/server-based and uses the Lili Lisp Interpreter as Centr

Framework for Java source code analysing, program comprehension and automating software quality. Source code visualisation provided.

An omnifont OCR software for KDE. Due to the fact that each step of the OCR process can be visualized you can get a quick idea of how OCR works and where the problems lie. However the program may be of minor/no use for end users in its current state.

...If a suitable answer is not found then the program stops after specified max generations are over.

Cigol (logic, spelled backwards) is a deductive logic solver. It can be embedded inside a parent program or used from the command line. It has absolutely no relationship to Tom Mitchell's book on Machine Learning.

Neural network based pattern recognition software. Aim is to provide a program what is able to find pictures by a text line input. For example -> find all pictures with a red car?

This proyect will be many things. It will be not only a software program; but also your assistant and maybe your friend. You should be able to speak with her, ask her for advice, or ask her to do your homework.It will be a powerful OS such as Linux but fr

Leanstral is an open-weight large language model developed by Mistral AI and specifically designed as a code agent for the Lean 4 proof assistant, enabling advanced interaction with formal mathematics and program verification systems. The model is built to understand and generate Lean 4 code, which is used to express complex mathematical constructs as well as formal software specifications. By focusing on theorem proving and formal reasoning, Leanstral represents a specialized direction within large language models, targeting domains that require strict correctness and logical rigor rather than general conversational tasks. ...

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 ;).

The open source project to port image analysis MaZda program to Linux and OS X platforms. See: http://www.eletel.p.lodz.pl/programy/mazda/