3108 search results - page 105 / 622 » The Elements of Computer Credibility |
158
click to vote
CG
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents an approach to performing time-critical collision detection for deformable objects. The deformable objects are represented by dense meshes and their deformatio...
115
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
Numerical methods for solving the systems of partial differential equations arising in geophysical fluid dynamics rely on a variety of spatial discretization schemes (e.g. finit...
151
click to vote
STOC
2005
ACM
16 years 4 months ago
2005
ACM
We investigate constructions of pseudorandom generators that fool polynomial tests of degree d in m variables over finite fields F. Our main construction gives a generator with se...
152
click to vote
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In every combinatory algebra there is a Boolean algebr...
132
click to vote
TRIDENTCOM
2005
IEEE
15 years 10 months ago
2005
IEEE
Discrete-event packet-level network simulation is well-known and widely used. Network emulation is a hybrid approach that combines real elements of a deployed networked applicatio...