3690 search results - page 227 / 738 » Computation with classical sequents |
122
Voted
IUI
2012
ACM
13 years 8 months ago
2012
ACM
One Feature (1F) is a simple and intuitive pruning strategy that reduces considerably the amount of computations required by Nearest-Neighbor gesture classifiers while still pres...
123
Voted
SOFSEM
2012
Springer
13 years 8 months ago
2012
Springer
The classical group testing problem asks to determine at most d defective elements in a set of n elements, by queries to subsets that return Yes if the subset contains some defecti...
148
Voted
WACV
2012
IEEE
13 years 8 months ago
2012
IEEE
A convenient way of analysing Riemannian manifolds is to embed them in Euclidean spaces, with the embedding typically obtained by flattening the manifold via tangent spaces. This...
119
Voted
INFOCOM
2012
IEEE
13 years 3 months ago
2012
IEEE
Abstract—In this paper, we implement and evaluate three different Byzantine Fault-Tolerant (BFT) state machine replication protocols for data centers: (1) BASIC: The classic solu...
119
Voted
CVPR
2012
IEEE
13 years 3 months ago
2012
IEEE
The problem of simultaneous feature extraction and selection, for classifier design, is considered. A new framework is proposed, based on boosting algorithms that can either 1) s...