130 search results - page 6 / 26 » Finding and Certifying Loops |
CGIM
2003
14 years 11 months ago
2003
Subdivision surfaces are finding their way into many Computer Aided Design and Animation packages. Popular choices include Loop, Catmull-Clark, Doo-Sabin etc. Subdivision surfaces...
ISSAC
2007
Springer
15 years 3 months ago
2007
Springer
The parallelization of two applications in symmetric cryptography is considered: block ciphering and a new method based on random sampling for the selection of basic substitution ...
108
Voted
DAGSTUHL
2009
14 years 10 months ago
2009
To deal with the increasing complexity of software systems and uncertainty of their environments, software engineers have turned to self-adaptivity. Self-adaptive systems are capab...
113
Voted
ISSTA
2000
ACM
15 years 1 months ago
2000
ACM
A method for finding bugs in code is presented. For given small numbers j and k, the code of a procedure is translated into a relational formula whose models represent all executi...
ICIP
1997
IEEE
15 years 11 months ago
1997
IEEE
Oversampled pyramid decompositions have been successfully applied to scalable video coding. Quantization noise feedback at the encoder closed-loop coding" has several advant...