7529 search results - page 1312 / 1506 » The Modula-3 Type System |
251
click to vote
SI3D
1995
ACM
15 years 10 months ago
1995
ACM
We introduce a promising new approach to rigid body dynamic simulation called impulse-based simulation. The method is well suited to modeling physical systems with large numbers o...
155
click to vote
SIGGRAPH
1995
ACM
15 years 10 months ago
1995
ACM
We present a method for computing holographic patterns for the generation of three-dimensional (3-D) holographic images at interactive speeds. We used this method to render hologr...
178
click to vote
ESOP
2010
Springer
15 years 9 months ago
2010
Springer
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...
134
click to vote
CSE
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Precise evaluation of network appliance energy consumption is necessary to accurately model or simulate the power consumption of distributed systems. In this paper we ev...
174
click to vote
SGP
2007
15 years 8 months ago
2007
A robust statistics approach to curvature estimation on discretely sampled surfaces, namely polygon meshes and point clouds, is presented. The method exhibits accuracy, stability ...