10072 search results - page 46 / 2015 » Composition of Model Programs |
118
click to vote
ALC
1997
15 years 3 months ago
1997
In the context of the modular and incremental development of complex systems, viewed as interconnections of interacting components, new dimensions and new problems arise in the ca...
MPC
1992
Springer
15 years 5 months ago
1992
Springer
A calculus for developing programs from specifications written as predicates that describe the relationship between the initial and final state is proposed. Such specifications are...
107
Voted
ICFP
2006
ACM
16 years 1 months ago
2006
ACM
The development of design patterns in object-oriented programming aims at capturing good software design in a re-usable generic form. However, design patterns are not expressible ...
125
click to vote
GECCO
2004
Springer
15 years 7 months ago
2004
Springer
In this paper a novel genetically-inspired learning method is proposed for face expression recognition (FER) in visible images. Unlike current research for FER that generally uses ...
118
click to vote
SAINT
2003
IEEE
15 years 7 months ago
2003
IEEE
—The dynamic composition of existing services into new services is at the core of service-oriented computing. The objective of FRESCO (Foundational Research on Service Compositio...