1042 search results - page 24 / 209 » Representing real numbers in a generalized numeration system |
126
click to vote
INFOCOM
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract—Motivated by the increasing usage of wireless broadcast networks for multicast real-time applications like video, this paper considers a canonical real-time multicast sc...
104
click to vote
MKM
2009
Springer
15 years 6 months ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
111
click to vote
KDD
2000
ACM
15 years 3 months ago
2000
ACM
In this paper we introduce the Generalized Bayesian Committee Machine (GBCM) for applications with large data sets. In particular, the GBCM can be used in the context of kernel ba...
108
click to vote
PRESENCE
1998
14 years 11 months ago
1998
We propose an accurate collision detection algorithm for use in virtual reality applications. The algorithm works for three-dimensional graphical environments where multiple objec...
129
click to vote
FOCS
2004
IEEE
15 years 3 months ago
2004
IEEE
We prove the existence of tolls to induce multicommodity, heterogeneous network users that independently choose routes minimizing their own linear function of tolls versus latency...