7167 search results - page 1076 / 1434 » A Technique for Invariant Generation |
213
Voted
CP
2005
Springer
16 years 1 months ago
2005
Springer
In this paper we show how Constraint Programming (CP) techniques can improve the efficiency and applicability of grid-based algorithms for optimising surface contact between comple...
208
Voted
DAWAK
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Data warehouse architectural choices and optimization techniques are critical to decision support query performance. To facilitate these choices, the performance of the d...
236
Voted
EMMCVPR
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. In this paper, we present a deformable-model based solution for segmenting objects with complex texture patterns of all scales. The external image forces in traditional d...
214
Voted
EUC
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Embedded systems have strict timing and code size requirements. Retiming is one of the most important optimization techniques to improve the execution time of loops by in...
207
Voted
FSE
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. This paper discusses the state-of-the-art software optimization methodology for symmetric cryptographic primitives on Pentium III and 4 processors. We aim at maximizing s...