Sciweavers

5600 search results - page 18 / 1120
» Synthesizing robust systems
Sort
View
GECCO
2006
Springer
143views Optimization» more  GECCO 2006»
15 years 6 months ago
A hybridized genetic parallel programming based logic circuit synthesizer
Genetic Parallel Programming (GPP) is a novel Genetic Programming paradigm. Based on the GPP paradigm and a local search operator - FlowMap, a logic circuit synthesizing system in...
Wai Shing Lau, Kin-Hong Lee, Kwong-Sak Leung
EDBT
2008
ACM
137views Database» more  EDBT 2008»
16 years 3 months ago
Synthesizing structured text from logical database subsets
In the classical database world, information access has been based on a paradigm that involves structured, schema-aware, queries and tabular answers. In the current environment, h...
Alkis Simitsis, Georgia Koutrika, Yannis Alexandra...
ICDT
2010
ACM
205views Database» more  ICDT 2010»
15 years 8 months ago
On the Aggregation Problem for Synthesized Web Services
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...
Ting Deng, Wenfei Fan, Leonid Libkin, Yinghui Wu
EON
2008
15 years 4 months ago
Synthesizing the Mediator with jABC/ABC
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 (...
Tiziana Margaria
ICCV
2003
IEEE
15 years 8 months ago
Tracking Articulated Hand Motion with Eigen Dynamics Analysis
This paper introduces the concept of eigen-dynamics and proposes an eigen dynamics analysis (EDA) method to learn the dynamics of natural hand motion from labelled sets of motion ...
Hanning Zhou, Thomas S. Huang