199 search results - page 29 / 40 » The Residue Logarithmic Number System: Theory and Implementa... |
76
Voted
MM
2010
ACM
14 years 9 months ago
2010
ACM
As massively multiplayer online games are becoming very popular, how to support a large number of concurrent users while maintaining the game performance has become an important r...
63
Voted
DSS
2008
14 years 9 months ago
2008
The public safety community in the United States consists of thousands of local, state, and federal agencies, each with its own information system. In the past few years, there ha...
NIPS
2000
14 years 11 months ago
2000
Learning of a smooth but nonparametric probability density can be regularized using methods of Quantum Field Theory. We implement a field theoretic prior numerically, test its eff...
166
click to vote
ICFP
2009
ACM
15 years 10 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
CORR
2011
Springer
14 years 4 months ago
2011
Springer
Compressive sensing (CS) exploits the sparsity present in many common signals to reduce the number of measurements needed for digital acquisition. With this reduction would come, ...