Sciweavers

431 search results - page 1 / 87
» Abstract Data Types in Computer Algebra
Sort
View
JACM
2007
85views more  JACM 2007»
13 years 5 months ago
The rational numbers as an abstract data type
onal Numbers as an Abstract Data Type1 J A Bergstra2 University of Amsterdam, Informatics Institute, Kruislaan 403, 1098 SJ Amsterdam, The Netherlands J V Tucker3 Department of Com...
Jan A. Bergstra, J. V. Tucker
POPL
2010
ACM
14 years 2 months ago
Decision Procedures for Algebraic Data Types with Abstractions
Philippe Suter, Mirco Dotta, Viktor Kuncak
GIS
2004
ACM
14 years 6 months ago
An abstract model of three-dimensional spatial data types
act Model of Three-Dimensional Spatial Data Types Markus Schneider & Brian E Weinrich University of Florida Department of Computer & Information Science & Engineering G...
Markus Schneider, Brian E. Weinrich
ECCC
2007
144views more  ECCC 2007»
13 years 5 months ago
Algebraic Lower Bounds for Computing on Encrypted Data
In cryptography, there has been tremendous success in building primitives out of homomorphic semantically-secure encryption schemes, using homomorphic properties in a blackbox way...
Rafail Ostrovsky, William E. Skeith III