3690 search results - page 227 / 738 » Computation with classical sequents |
155
click to vote
IUI
2012
ACM
14 years 3 hour 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...
174
click to vote
SOFSEM
2012
Springer
13 years 12 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...
178
click to vote
WACV
2012
IEEE
13 years 12 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...
160
click to vote
INFOCOM
2012
IEEE
13 years 6 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...
154
Voted
CVPR
2012
IEEE
13 years 6 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...