Sciweavers

3931 search results - page 289 / 787
» Separation logic and abstraction
Sort
View
GECCO
2003
Springer
143views Optimization» more  GECCO 2003»
15 years 12 months ago
Quadrilateral Mesh Smoothing Using a Steady State Genetic Algorithm
Abstract. This paper investigates the use of a steady state genetic algorithm (GA) to perform quadrilateral finite element mesh smoothing. GAS short for genetic algorithm smoother...
Mike Holder, Charles L. Karr
CAIP
1997
Springer
15 years 11 months ago
Optimally Rotation-Equivariant Directional Derivative Kernels
Abstract. We describe a framework for the design of directional derivative kernels for two-dimensional discrete signals in which we optimize a measure of rotation-equivariance in t...
Hany Farid, Eero P. Simoncelli
CSREAESA
2006
15 years 8 months ago
Layered Architecture Revised
- A systematic approach to building layered software architecture is proposed. Separate layering models required oper abstracting of hardware, persistent data, and communication pr...
Asher Sterkin
DAIS
2006
15 years 8 months ago
A Versatile Kernel for Distributed AOP
Abstract. Aspect-Oriented Programming (AOP) promotes better separation of concerns in software systems by introducing aspects for the modular implementation of crosscutting concern...
Éric Tanter, Rodolfo Toledo
DAGSTUHL
2003
15 years 8 months ago
Specializing visualization algorithms
Abstract In this paper we look at the potential of program specialization techniques in the context of visualization. In particular we look at partial evaluation and pass separatio...
Stephan Diehl