Sciweavers

10055 search results - page 360 / 2011
» Structured programming using processes
Sort
View
205
Voted
ICFP
2009
ACM
16 years 1 months ago
Biorthogonality, step-indexing and compiler correctness
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the operational behaviour of low-level programs in a varian...
Nick Benton, Chung-Kil Hur
95
Voted
GECCO
2007
Springer
151views Optimization» more  GECCO 2007»
15 years 7 months ago
Dynamical blueprints: exploiting levels of system-environment interaction
Developmental systems typically produce a phenotype through a generative process whose outcome depends on feedback from the environment. In most artificial developmental systems, ...
Nicolás S. Estévez, Hod Lipson
IS
2007
15 years 19 days ago
A configurable reference modelling language
Enterprise Systems (ES) are comprehensive off-the-shelf packages that have to be configured to suit the requirements of an organization. Most ES solutions provide reference models...
Michael Rosemann, Wil M. P. van der Aalst
105
Voted
ICIP
2004
IEEE
16 years 2 months ago
Learning structured dictionaries for image representation
The dictionary approach to signal and image processing has been massively investigated in the last two decades, proving very attractive for a wide range of applications. The effec...
Gianluca Monaci, Pierre Vandergheynst
106
Voted
SAC
2006
ACM
15 years 6 months ago
Adapting software components by structure fragmentation
We present in this paper an approach aiming at adapting software components. It focuses on adapting component structures instead of adapting component services. Among the motivati...
Gautier Bastide, Abdelhak Seriai, Mourad Oussalah