394 search results - page 17 / 79 » An Abstract Domain of Uninterpreted Functions |
CP
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Interval-based methods can approximate all the real solutions of a system of equations and inequalities. The Box interval constraint propagation algorithm enforces Box co...
ACISP
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Two of the most recent and powerful multi-property-preserving (MPP) hash domain extension transforms are the Ramdom-Oracle-XOR (ROX) transform and the Enveloped Shoup (ES...
SIAMCOMP
2012
11 years 11 months ago
2012
Abstract. In the framework of Carter and Wegman, a k-independent hash function maps any k keys independently. It is known that 5independent hashing provides good expected performan...
SSDBM
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract. With the drastic increase of object trajectory data, the analysis and exploration of trajectories has become a major research focus with many applications. In particular,...
GMP
2010
IEEE
14 years 1 months ago
2010
IEEE
Abstract. Parameterizations have a wide range of applications in computer graphics, geometric design and many other fields of science and engineering. Although surface parameteriz...