3333 search results - page 314 / 667 » Abstract Proof Search |
154
Voted
DAGM
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper addresses robust automatic orientation, calibration, and disparity estimation for generating visualizations from image triplets. Here, robust means, that meani...
185
click to vote
FSE
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Sober-t32 is a candidate stream cipher in the NESSIE competition. Some new attacks are presented in this paper. A Guess and Determine attack is mounted against Sober-t32 ...
179
Voted
FSE
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We present a new stream cipher, Rabbit, based on iterating a set of coupled nonlinear functions. Rabbit is characterized by a high performance in software with a measured...
188
click to vote
WFLP
2009
Springer
15 years 11 months ago
2009
Springer
Numerous computational and deductive frameworks use the notion of strategy to guide reduction and search space exploration, making the macro scale control of micro operations an ex...
172
click to vote
REFLECTION
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a general technique to support reflection in C++, exploiting template metaprogramming techniques. The technique is used for building an object interface to rel...