Sciweavers

3604 search results - page 307 / 721
» All Common Subsequences
Sort
View
KI
2008
Springer
15 years 6 months ago
ESO: Evolutionary Self-organization in Smart-Appliances Ensembles
: This paper presents an evolutionary algorithm applicable to the task of device adjustment in smart appliances ensembles. The algorithm requires very little environmental knowledg...
Stefan Goldmann, Ralf Salomon
KI
2008
Springer
15 years 6 months ago
Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework
Abstract. In this paper we present a comparison of several inductive programming (IP) systems. IP addresses the problem of learning (recursive) programs from incomplete specificati...
Martin Hofmann 0008, Emanuel Kitzelmann, Ute Schmi...
FTEDA
2007
78views more  FTEDA 2007»
15 years 6 months ago
Design Automation of Real-Life Asynchronous Devices and Systems
The number of gates on a chip is quickly growing toward and beyond the one billion mark. Keeping all the gates running at the beat of a single or a few rationally related clocks i...
Alexander Taubin, Jordi Cortadella, Luciano Lavagn...
FUIN
2007
100views more  FUIN 2007»
15 years 6 months ago
Interpreted Nets
The nets considered here are an extension of Petri nets in two aspects. In the semantical aspect, there is no one firing rule common to all transitions, but every transition is tr...
Ludwik Czaja
PERCOM
2008
ACM
15 years 6 months ago
Composing software services in the pervasive computing environment: Languages or APIs?
The pervasive computing environment will be composed of heterogeneous services. In this work, we have explored how a domain specific language for service composition can be implem...
Jon Robinson, Ian Wakeman, Dan Chalmers