Sciweavers

1163 search results - page 72 / 233
» Department of Redundancy Department
Sort
View
GIS
1997
ACM
14 years 1 months ago
Speeding up Bulk-Loading of Quadtrees
Spatial indexes, such as the PMR quadtree, are important in spatial databases for efficient execution of queries involving spatial constraints, especially when the queries involve...
Gísli R. Hjaltason, Hanan Samet, Yoram J. S...
CRYPTO
1995
Springer
111views Cryptology» more  CRYPTO 1995»
14 years 1 months ago
Fast Key Exchange with Elliptic Curve Systems
The Diffie-Hellman key exchange algorithm can be implemented using the group of points on an elliptic curve over the field F2n. A software version of this using n = 155 can be o...
Richard Schroeppel, Hilarie K. Orman, Sean W. O'Ma...
SP
1987
IEEE
118views Security Privacy» more  SP 1987»
14 years 1 months ago
A Comparison of Commercial and Military Computer Security Policies
Most discussions of computer security focus on control of disclosure. In Particular, the U.S. Department of Defense has developed a set of criteria for computer mechanisms to prov...
D. D. Clark, D. R. Wilson
ECCV
2010
Springer
14 years 1 months ago
Contour Grouping and Abstraction using Simple Part Models
Grouping and Abstraction Using Simple Part Models Pablo Sala and Sven Dickinson Department of Computer Science, University of Toronto, Toronto ON, Canada We address the problem of ...
CAV
2010
Springer
197views Hardware» more  CAV 2010»
14 years 1 months ago
Abstract Analysis of Symbolic Executions
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
Aws Albarghouthi, Arie Gurfinkel, Ou Wei, Marsha C...