394 search results - page 17 / 79 » An Abstract Domain of Uninterpreted Functions |
158
click to vote
CP
2010
Springer
15 years 2 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...
125
Voted
ACISP
2009
Springer
15 years 10 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...
168
Voted
SIAMCOMP
2012
13 years 6 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...
116
click to vote
SSDBM
2009
IEEE
15 years 10 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,...
131
Voted
GMP
2010
IEEE
15 years 9 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...