951 search results - page 27 / 191 » On the Computation of Correctly-Rounded Sums |
AAAI
1997
14 years 11 months ago
1997
We present a theory of qualitative rigid body mechanics and describe a program that uses this theory to compute qualitative dynamic simulations.1 The program works directly from a...
113
Voted
PODC
2012
ACM
13 years 19 days ago
2012
ACM
Multi-party communication complexity involves distributed computation of a function over inputs held by multiple distributed players. A key focus of distributed computing research...
98
Voted
MOC
2011
14 years 5 months ago
2011
We utilize effective algorithms for computing in the cohomology of a Shimura curve together with the Jacquet-Langlands correspondence to compute systems of Hecke eigenvalues assoc...
93
Voted
CVPR
2012
IEEE
13 years 19 days 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...
108
Voted
CVPR
2012
IEEE
13 years 19 days ago
2012
IEEE
This paper addresses recognition of human activities with stochastic structure, characterized by variable spacetime arrangements of primitive actions, and conducted by a variable ...