software
-
Random Forests.
A C++ implementation of Random Forests for the detection, recognition and learning of human face images. The software has also been applied to the recognition of arbitrary objects.
[src] | [bib]
-
JTurret.
JTurret is a Java security contract monitor. It enforces the ideas behind "Design by Contract", a concept introduced by Bertrand Meyer. Design by Contract, or DBC for short, outlines expectations of computer software and verifies if the software correctly satisfies the expectations.
Mainly,
- Behavior expectations can be supplied with invariants, preconditions and postconditions.
- Preconditions are specified with past LTL (linear temporal logic) formulas. They are evaluated using recursion.
- Postconditions are specified with future LTL formulas. They are evaluated by converting the expressions to a generalized Buechi Automaton and evaluating the state machine on-line at run time.
[info] |
[src] |
[description]