1308 search results - page 193 / 262 » The HiQoS Rendering System |
182
click to vote
CADE
2000
Springer
15 years 10 months ago
2000
Springer
We provide techniques to integrate resolution logic with equality in type theory. The results may be rendered as follows. − A clausification procedure in type theory, equipped w...
197
click to vote
MICRO
1998
IEEE
15 years 10 months ago
1998
IEEE
Three dimensional (3D) graphics applications have become very important workloads running on today's computer systems. A cost-effective graphics solution is to perform geomet...
176
click to vote
SIGGRAPH
1998
ACM
15 years 10 months ago
1998
ACM
The creation of believable and endearing characters in computer graphics presents a number of technical challenges, including the modeling, animation and rendering of complex shap...
161
click to vote
HPDC
1996
IEEE
15 years 10 months ago
1996
IEEE
' The coming of giga-bit networks makes possible the realization ofa single nationwide virtual computer comprised of a variety of geographically distributed highpe6ormance mac...
185
click to vote
PCRCW
1997
Springer
15 years 10 months ago
1997
Springer
In recent years, theChaos Project at theUniversityofWashingtonhas analyzed and simulated a dozen routing algorithms. Three new routing algorithms have been invented; of these, the...