| Realtime Multilevel Crowd Tracking using Reciprocal Velocity Obstacles | Feb 11, 2014 | CPU | —Unverified | 0 |
| Feature and Variable Selection in Classification | Feb 10, 2014 | BIG-bench Machine LearningClassification | —Unverified | 0 |
| Large-Scale Paralleled Sparse Principal Component Analysis | Dec 21, 2013 | CPUGPU | —Unverified | 0 |
| MizAR 40 for Mizar 40 | Oct 10, 2013 | CPU | —Unverified | 0 |
| HOL(y)Hammer: Online ATP Service for HOL Light | Sep 19, 2013 | Automated Theorem ProvingCPU | CodeCode Available | 0 |
| SEEDS: Superpixels Extracted via Energy-Driven Sampling | Sep 16, 2013 | CPUSuperpixels | CodeCode Available | 1 |
| Large-scale optimization with the primal-dual column generation method | Sep 9, 2013 | CPUDecision Making | —Unverified | 0 |
| Understanding Evolutionary Potential in Virtual CPU Instruction Set Architectures | Sep 3, 2013 | CPU | —Unverified | 0 |
| Online Tensor Methods for Learning Latent Variable Models | Sep 3, 2013 | ArticlesCommunity Detection | CodeCode Available | 0 |
| Highly Scalable, Parallel and Distributed AdaBoost Algorithm using Light Weight Threads and Web Services on a Network of Multi-Core Machines | Jun 6, 2013 | CPUFace Detection | —Unverified | 0 |
