A great flexible easy to use C++ library that is intended for scientists and engineers. The library supports the following matrix types: Matrix (rectangular matrix), UpperTriangula...
An amazing, accurate, and fast complete camera calibration toolbox in Matlab. The toolbox calibrates the stereo camera using one chess board that is oriented at different angles. T...
This is an open source library that provides an easy access to the topological properties of a 3D mesh surface. In addition, it provided several useful utility functions such as cu...
In this work we investigate the potential of combining AI tree-search algorithms with the algorithms of combinatorial game theory to provide more efficient strategies for playing s...
PLT develops foundations for building reliable, high-performance software. Foundations include practices, languages, semantics, implementation techniques and type systems. To dem...
We are interested in studying and developing programming languages techniques such as multi-stage programming, reactive programming, and indexed types and in showing how they can b...