This paper introduces a supervised discriminant Hausdorff distance that fits into the framework for automatic face analysis and recognition proposed in [1]. Our proposal relies so...
With this work in progress we propose a visualization system for stock market charts. Insight into stock charts is important in technical stock market analysis where exclusively t...
- Contiguity Analysis is a straightforward generalization of Linear Discriminant Analysis in which the partition of elements is replaced by a more general graph structure. Applied ...
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...