| Computer Vision Accelerators for Mobile Systems based on OpenCL GPGPU Co-Processing | Mar 17, 2014 | CPUGPU | —Unverified | 0 |
| A Survey on Dynamic Job Scheduling in Grid Environment Based on Heuristic Algorithms | Feb 21, 2014 | CPUDistributed Computing | —Unverified | 0 |
| 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 |
| Large-scale optimization with the primal-dual column generation method | Sep 9, 2013 | CPUDecision Making | —Unverified | 0 |
| Online Tensor Methods for Learning Latent Variable Models | Sep 3, 2013 | ArticlesCommunity Detection | CodeCode Available | 0 |
| Understanding Evolutionary Potential in Virtual CPU Instruction Set Architectures | Sep 3, 2013 | CPU | —Unverified | 0 |
