2634 search results - page 74 / 527 » Faster Than Uppaal |
CPAIOR
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. Logic-based Benders decomposition can combine mixed integer programming and constraint programming to solve planning and scheduling problems much faster than either metho...
AAECC
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. New algorithms are described and analysed for solving various problems associated with a large integer matrix: computing the Hermite form, computing a kernel basis, and s...
EUROCRYPT
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. The block ciphers MISTY1 and MISTY2 proposed by Matsui are based on the principle of provable security against differential and linear cryptanalysis. This paper presents...
ICANN
2001
Springer
14 years 1 months ago
2001
Springer
The method of conjugate gradients provides a very effective way to optimize large, deterministic systems by gradient descent. In its standard form, however, it is not amenable to ...
MICCAI
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Morphological connected set filters for extraction of filamentous details from medical images are developed. The advantages of these filters are that they are shape pr...