Search Results for "strategy"

...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 this extension is used as a strategy for belief revision. The new evidence is treated as a constraint so the extended merging operator can obtain the revised belief base.

Semantic query optimization (SQO) is the process of finding equivalent rewritings of an input query given constraints that hold in a database instance. We present a Chase & Backchase (C&B) algorithm strategy that generalizes and improves on well-known methods in the field. The implementation of our approach, the pegasus system, outperforms existing C&B systems an average by two orders of magnitude. This gain in performance is due to a combination of novel methods that lower the complexity in practical situations significantly.

Auxiliary tools for Boost uBLAS library. Has several strategy-driven functors for: 1) random-generating of vectors & matrices 2) Nice & suitable stream output of them 3) Equality-compare capacibility for vectors and matrices and approximate comparing.

The project is about turn-based, networked multiplayer, non-cooperative, zero-sum, abstract strategy board games (e.g. Chess, Go, Reversi variants, etc.) on 3D-visualized polyhedra and related recreational (discrete, computational) mathematics.

NZ Calc is a Calculator for NukeZone, it can calculate attacks/research/building, and it will also keep up with all the turns/morale/satelite power you gain, and use these for attacks/research/building, during calculation.

Anarchonomy is a Java application simulating AI agent based production, consumption, trade and force with a minimum of economic assumptions, letting users create and change their own rule and scenario sets.

This project contains the software used by the University of Toronto RoboCup team for controlling a team of robots to compete, against another such team, in a real time soccer environment.

Fully templated C++ library for Steering Behaviors of Autonomous agents (characters). The library comes as package where you can create your own behaviors using the power of templates.