Sciweavers

6770 search results - page 485 / 1354
» How GPUs Work
Sort
View
VISUALIZATION
2002
IEEE
15 years 11 months ago
Efficient Simplification of Point-Sampled Surfaces
In this paper we introduce, analyze and quantitatively compare a number of surface simplification methods for point-sampled geometry. We have implemented incremental and hierarchi...
Mark Pauly, Markus H. Gross, Leif Kobbelt
AISC
2010
Springer
15 years 11 months ago
Formal Proof of SCHUR Conjugate Function
Abstract. The main goal of our work is to formally prove the correctness of the key commands of the SCHUR software, an interactive program for calculating with characters of Lie gr...
Franck Butelle, Florent Hivert, Micaela Mayero, Fr...
FSE
2010
Springer
132views Cryptology» more  FSE 2010»
15 years 11 months ago
Rebound Attack on Reduced-Round Versions of JH
Abstract. JH, designed by Wu, is one of the 14 second round candidates in the NIST Hash Competition. This paper presents the first analysis results of JH by using rebound attack. ...
Vincent Rijmen, Deniz Toz, Kerem Varici
CSE
2009
IEEE
15 years 11 months ago
The Circles of Latitude: Adoption and Usage of Location Tracking in Online Social Networking
—This paper reports preliminary results of an ongoing ethnographic study of people’s attitudes towards and adoption of Google Latitude, a location-tracking technology for mobil...
Xinru Page, Alfred Kobsa
DALT
2009
Springer
15 years 11 months ago
Tableaux for Acceptance Logic
We continue the work initiated in [1–3], where the acceptance logic, a modal logic for modelling individual and collective acceptances was introduced. This logic is aimed at capt...
Mathijs de Boer, Andreas Herzig, Tiago De Lima, Em...