Sciweavers

5900 search results - page 864 / 1180
» Dependable Systems
Sort
View
SOICT
2010
15 years 1 months ago
Password recovery for encrypted ZIP archives using GPUs
Protecting data by passwords in documents such as DOC, PDF or RAR, ZIP archives has been demonstrated to be weak under dictionary attacks. Time for recovering the passwords of suc...
Pham Hong Phong, Phan Duc Dung, Duong Nhat Tan, Ng...
POPL
2012
ACM
14 years 2 months ago
Algebraic foundations for effect-dependent optimisations
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...
Ohad Kammar, Gordon D. Plotkin
PODS
2012
ACM
253views Database» more  PODS 2012»
13 years 9 months ago
Local transformations and conjunctive-query equivalence
Over the past several decades, the study of conjunctive queries has occupied a central place in the theory and practice of database systems. In recent years, conjunctive queries h...
Ronald Fagin, Phokion G. Kolaitis
CVPR
2008
IEEE
16 years 8 months ago
Extrinsic and depth calibration of ToF-cameras
Recently, ToF-cameras have attracted attention because of their ability to generate a full 21 2 D depth image at video frame rates. Thus, ToF-cameras are suitable for real-time 3D...
Stefan Fuchs, Gerd Hirzinger
ECCV
1998
Springer
16 years 8 months ago
A Solution for the Registration of Multiple 3D Point Sets Using Unit Quaternions
Registering 3D point sets is a common problem in computer vision. The case of two point sets has been analytically well solved by several authors. In this paper we present an analy...
Raouf Benjemaa, Francis Schmitt