9405 search results - page 1496 / 1881 » Computing a Model of Set Theory |
186
click to vote
NSF
2001
Springer
15 years 11 months ago
2001
Springer
Today‘s use of mobile phones is mostly for coordination purposes. It seems reasonable to assume that 3G and 4G high bandwidth systems will be used in a similar way. This paper th...
184
click to vote
FOCS
2000
IEEE
15 years 11 months ago
2000
IEEE
For many probability distributions of interest, it is quite difficult to obtain samples efficiently. Often, Markov chains are employed to obtain approximately random samples fro...
202
click to vote
SAC
2000
ACM
15 years 11 months ago
2000
ACM
Linda is a high level communication model which allows agents to communicate via a shared tuple spaces without knowing each other’s identities and without having to arrange for ...
175
click to vote
SIGGRAPH
2000
ACM
15 years 11 months ago
2000
ACM
Approximating detailed models with coarse, texture-mapped meshes results in polygonal silhouettes. To eliminate this artifact, we introduce silhouette clipping, a framework for ef...
170
click to vote
HPCA
1999
IEEE
15 years 11 months ago
1999
IEEE
Control independence has been put forward as a significant new source of instruction-level parallelism for future generation processors. However, its performance potential under p...