178
Voted
Source Code
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...
175
click to vote
Source Code
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...
135
click to vote
Source Code
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...
220
click to vote
ICGA
2006
17 years 2 months ago
2006
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...
272
click to vote
Lab
PLT develops foundations for building reliable, high-performance software. Foundations include practices, languages, semantics, implementation techniques and type systems. To dem...
261
click to vote
Lab
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...
207
click to vote
PEPM
2009
ACM
17 years 2 months ago
2009
ACM
The Verilog hardware description language has padding semantics that allow designers to write descriptions where wires of different bit widths can be interconnected. However, many ...