=Randomized Decision Trees= Ertree are more or less extremely randomized decision trees implemented in python. It lets you choose how randomized the training will be and which methods to use. ==Flavor== {{{ $ ../ert.py -t train.jf.gz -T test.jf.gz -e 5 -s ent --leafsize 5 -c 50 --probs tes...

Help you make smart purchases decision

develop decision theory

CSIsat is an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementation combines the efficiency of linear programming for solving the arithmetic part with the efficiency of a SAT solver to reason...

http://www.inf.unisi.ch/postdoc/bruttomesso/imgs/small_header.gif =Intro= This page is the SVN *source code* repository for OpenSMT (click Source tab). Quick tip: sources can be download with `svn checkout http://opensmt.googlecode.com/svn/trunk/ opensmt`. Also you need t...

Haven't we all dreamed about being able to do RPS, all online, with ladders, tournament and everything everyone ever wanted? Here.

OCaml Library for Binary Decision Diagrams

Diary will support adding thoughts and actions as in normal diary. Also links and documents can be attached to the decision and afterwards those can be commented/grouped. Project is opened 21.02.2008 and is in very initial phase. No meaningful implementation yet made, only some plans.

This project aims to create a framework which would implement methods for decision making and model analysis. This would include not only writing code for decision making algorithms, but also developing formats for storing information for those algorithms.

The aim of the project is to create a program that can dynamically propose intelligent offers to customers in conversations with clients.