132 search results - page 24 / 27 » Safraless Compositional Synthesis |
GECCO
2010
Springer
13 years 7 months ago
2010
Springer
To complement standard fitness functions, we propose "Fitness Importance" (FI) as a novel meta-heuristic for online learning systems. We define FI and show how it can be...
CCE
2004
13 years 7 months ago
2004
Ever-changing production campaigns complicate the management of recovery and treatment options for unavoidable effluents at pharmaceutical plants. Each campaign produces large amo...
ICDT
2010
ACM
14 years 14 days ago
2010
ACM
The paper formulates and investigates the aggregation problem for synthesized mediators of Web services (SWMs). An SWM is a finite-state transducer defined in terms of templates...
EON
2008
13 years 9 months ago
2008
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
PAMI
2007
13 years 7 months ago
2007
—We propose an automatic approach to soft color segmentation, which produces soft color segments with an appropriate amount of overlapping and transparency essential to synthesiz...