814 search results - page 95 / 163 » Analysis of Modular Arithmetic |
ICIP
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we propose a 3D geometry compression technique for densely sampled surface meshes. Based on a 3D multiresolution analysis (performed by a 3D Discrete Wavelet Transf...
TACAS
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. In this paper we prove that the transitive closure of a nondeterministic octagonal relation using integer counters can be expressed in Presburger arithmetic. The direct c...
FPL
2007
Springer
15 years 4 months ago
2007
Springer
Simple algorithms can be analytically characterized, but such analysis is questionable or even impossible for more complicated algorithms, such as Model Predictive Control (MPC). ...
TACAS
2007
Springer
15 years 4 months ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
VMCAI
2005
Springer
15 years 3 months ago
2005
Springer
Interval computations, stochastic arithmetic, automatic diļ¬erentiation, etc.: much work is currently done to estimate and to improve the numerical accuracy of programs but few c...