Search Results for "x-art" - Page 2

Since the method proposed in https://www.researchgate.net/publication/262599199_Unifying_Provenance_and_Debugging_for_Answer-Set_Programs?ev=prf_pub is based on meta-programming, it is possible to use existing state-of-the-art software systems that support well-founded and answer-set semantics, which allowed us to start developing this new tool by extending the one that exists related to a debugging approach: Spock, hence the name Cpt. Kirk. Furthermore and more importantly, one direction to explore is to use the technique of reification as described in "metaASP" to obtain the implicants via a saturation technique, and obtaining the prime implicants of provenance formulae by optimization and thus proper minimal justifications.

JAS is a java library for creating agent based simulations. It features a discrete-event time engine, APIs for network simulation design, powerful yet easy-to-use implementations of Genetic Algorithms and Neural Networks.

Simulates a biologically diverse tropical island, and the ape inhabitants cognitive processes. For MacOS X, iPad, Windows and Linux. Features a non-polygonal graphics engine and a command-line version

This package contains different tools to add NLP capabilities for Lucene 4.x (it has been tested using Lucene version from 4.6.x to 4.8.1). Although it was originally developed for German, it is, mostly, language independent. It allows the user to lemmatize words to be indexed, to weight termy ba their parts of speech (e.g. weighting nouns mor hevaily than pronouns), and to add synonyms taken from GermaNet or a list you provide to the search index and thereby increase recall of lucene.

JinnIde is a plugin that allows using Jinni Prolog, now also hosted here on this site (with open source license!), within the confines of an IDE integrated in JEdit.

JPIE is an implementation of an Open Source Java to Prolog/Prolog to Java interoperability mecanism based on the Java VM.

CSPFJ or CSP4J is an simple, hopefully fast CSP solver API written in Java featuring state-of-art search algorithms

iAccess is a trust negotiation-based authorization service. It provides entities with the right to protect their own credentials and negotiate with remote (unknown) servers access to resources. iAccess works with X.509 and SAML standards.

Wir entwickeln ein Framework für agentenbasierte Spiele. Wir machen das im Rahmen des Kurses "Simulationstechniken" des Fachs AI an der FHTW.

JEliza ist ein Programm, mit dem man sich unterhalten kann, da es über eine künstliche Intelligenz verfügt. Es ist lernfähig und erweiterbar.

Java-based implementation of the Optimization Programming Language.

Simple interactive Java browser is basic simple browser show how we can use voice commands to navigate in web sites and use hyperlinks as a voice commands.

X-GAT (XML-based Genetic Algorithm Toolkit) is a Java framework to optimize problems with Genetic Algorithms (GAs). Differently from other frameworks, X-GAT contains ready-to-use GAs implementations and new features can be easily added.

Ant-based artificial art has reached significant levels of visual appeal and aesthetics. Nevertheless, the artworks are still clearly recognizable as computer-generated, and present a diffused colouring effect common to most of the ant-based art.

This project provides a java implementation of the Captcha project ( see http://www.captcha.net ). A CAPTCHA is a program that can generate and grade tests that: -Most humans can pass. -Current computer programs can't pass.

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

Simple neural network(s) simulator. Moved as plugin under EDU Sand Box (https://sourceforge.net/projects/esbox/) project.

Database Driven RoboCup Rescue Server is a version of RoboCup Rescue Server (https://sourceforge.net/projects/roborescue/) which uses a database to store the simulation data in order to simulate a very large number of agents.

A java tool for anytime and interactive sequence mining. Aims at providing users with a way of analyzing her activity traces and extract activity schemes from them.

Fuzzy numbers and basic fuzzy arithmetics (+, -, *, /, 1/x) implementation written in Java. Should be used as a library, but it also has a GUI which demonstrates its capabilities (using SWT widgets).

This project is a compilation of tools/libraries to help with tasks related to Text Analytics mainly in Java. These tools range from simple wrappers to sophisticated mining tasks that can improve the productivity of researchers and engineers.

Identification of biological species via iterational process of giving an ordered set of questions to user. The order is defined by an optimization algorithm, trying to provide the most correct prediction about the questions to ask.

The ART testbed program allows researchers to compare their work from a practical point of view in the modelling of trust in agent societies.

NLPTools-ES is a Spanish plugin for GATE (General Architecture for Text Engineering). It includes a tokenizer, sentence splitter, gazetteer, pos tagger.