Sciweavers

8776 search results - page 1292 / 1756
» Robust Data Clustering
Sort
View
ACSAC
2006
IEEE
16 years 27 days ago
An Internet Voting System Supporting User Privacy
This work introduces the A system1 , an Internetbased, free and open source electronic voting system which employs strong cryptography. Our system is a fully functiona...
Aggelos Kiayias, Michael Korman, David Walluck
ACSAC
2006
IEEE
16 years 27 days ago
Address-Space Randomization for Windows Systems
Address-space randomization (ASR) is a promising solution to defend against memory corruption attacks that have contributed to about three-quarters of USCERT advisories in the pas...
Lixin Li, James E. Just, R. Sekar
AVSS
2006
IEEE
16 years 27 days ago
Multi-view Intelligent Vehicle Surveillance System
This paper presents a multi-view intelligent surveillance system used for the automatic tracking and monitoring of vehicles in a short-term parking lane. The system has the abilit...
Simon Denman, Clinton Fookes, Jamie Cook, Chris Da...
CGI
2006
IEEE
16 years 27 days ago
Real-Time Shadow Volume Algorithm for Subdivision Surface Based Models
This paper presents a purely hardware-accelerated shadow volume algorithm for subdivision surface based models. By introducing SP (subdivision patterns), all procedures, including ...
Min Tang, Jinxiang Dong, Shang-Ching Chou
DDECS
2006
IEEE
88views Hardware» more  DDECS 2006»
16 years 26 days ago
Minimization of Large State Spaces using Symbolic Branching Bisimulation
Abstract: Bisimulations in general are a powerful concept to minimize large finite state systems regarding some well-defined observational behavior. In contrast to strong bisimul...
Ralf Wimmer, Marc Herbstritt, Bernd Becker
« Prev « First page 1292 / 1756 Last » Next »