Search Results for "simple-scan"

Belief revision is a central topic in knowledge representation and reasoning. It consists in incorporating a new belief, changing as few as possible of the original beliefs while preserving consistency. Revision always considers new evidence as a better belief. Such new evidence is usually represented in the form of a propositional formula which must be preserved after the revision. Here, the Δps (PS-Merge) belief merging operator is extended in order to consider constraints, and ...

Belief merging aims at combining several pieces of (possibly inconsistent) information coming from different sources. The goal is to produce a single consistent set of information, trying to keep the most of the information of the sources. A belief merging operator is the responsible for making the belief merging. With this tool you can compare the ΔΣ, ΔGMax and the Δps (PS-Merge) operators.

This script helps organizations to make polls of different types of positions with a number of candidates under each position. The script is not very stable and the code is still rough. Installation: i. Download the script and unzip it to your localhost or web server. Works best with Wamp server. ii. Import polling3.sql from the dbBackups folder in the admin folder. Use phpMyAdmin in this case or together with cPanel for online server. iii. Add login.html into the Apache configuration...

...It will invert the top 3 layers of the OSI network model to make a 3-dimensional presentation layer with a peer-to-peer session layer for the Internet. For the curious, there is a simple demo that provides a small sense of the possibilities. Requires: VPython available here or see http://vpython.org.

Petitioner is a CGI application written in Python that lets users create and send petitions to multiple members of parliament at once. Petitions are saved to a unique link that can be shared. Every time someone follows that link, a petition will be sent to the selected MPs.

Fork of votesystem. Produce a secure, auditable and simple implementation of the Single Transferable Vote [STV] Sequential Elimination [SE] method otherwise known as Meek's Method. This is used for some Local Body elections in New Zealand.

A tool for exploring records of nominative votes in various legislatures. Currently, it includes just one legislature -- the US Congress -- and one simple visualization. (Code for CPython and Jython.)