This paper presents research that led to the design and implementation of fast and interactive collision detection methods that can be used to identify and report undesirable conļ¬...
A number of research systems have demonstrated the beneļ¬ts of accompanying each request with a machine-checkable proof that the request complies with access-control policy ā a...
Lujo Bauer, Limin Jia, Michael K. Reiter, David Sw...
This paper presents the main results of a three-year long field and design study of proactive information technology in the home. This technology uses sensors to track human activ...
Ilpo Koskinen, Kristo Kuusela, Katja Battarbee, An...
Emergent game formats, such as machinima, that use game worlds as expressive 3D performance spaces have new expressive powers with an increase of the quality of their underlying g...
Floating-point Sparse Matrix-Vector Multiplication (SpMXV) is a key computational kernel in scientiļ¬c and engineering applications. The poor data locality of sparse matrices sig...