336 search results - page 51 / 68 » Implementing CCS in Maude |
SOUPS
2009
ACM
14 years 2 months ago
2009
ACM
The ASIRRA CAPTCHA [6], recently proposed at ACM CCS 2007, relies on the problem of distinguishing images of cats and dogs (a task that humans are very good at). The security of AS...
EGH
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we present a method for rendering deformations as part of the programmable shader pipeline of contemporary Graphical Processing Units. In our method, we allow gener...
EGH
2005
Springer
14 years 1 months ago
2005
Springer
Modern graphics hardware architectures excel at compute-intensive tasks such as ray-triangle intersection, making them attractive target platforms for raytracing. To date, most GP...
VAST
2004
ACM
14 years 1 months ago
2004
ACM
The results of a project aimed to the study, reconstruction and presentation to the public of a monument disassembled and dispersed, the mausoleum of the emperor Arrigo VII, are p...
EGH
2004
Springer
14 years 1 months ago
2004
Springer
The only surface primitives that are supported by common graphics hardware are triangles and more complex shapes have to be triangulated before being sent to the rasterizer. Even ...