Sciweavers

10899 search results - page 444 / 2180
» The GP Programming System
Sort
View
MCMASTER
1993
15 years 11 months ago
A Taste of Rewrite Systems
Abstract. This survey of the theory and applications of rewriting with equations discusses the existence and uniqueness of normal forms, the Knuth-Bendix completion procedure and i...
Nachum Dershowitz
LPNMR
1990
Springer
15 years 11 months ago
The meaning of Negative Premises in Transition System Specifications
We present a general theory for the use of negative premises in the rules of Transition System Specifications (TSSs). We formulate a criterion that should be satisfied by a TSS in ...
Roland N. Bol, Jan Friso Groote
SIGMOD
2003
ACM
115views Database» more  SIGMOD 2003»
16 years 7 months ago
Rondo: A Programming Platform for Generic Model Management
Model management aims at reducing the amount of programming needed for the development of metadata-intensive applications. We present a first complete prototype of a generic model...
Sergey Melnik, Erhard Rahm, Philip A. Bernstein
PERCOM
2006
ACM
16 years 6 months ago
Reducing Configuration Overhead with Goal-oriented Programming
The rapid increase in the number and variety of consumer-level electronic devices without the corresponding development of device management technology has lead to a configuration ...
Justin Mazzola Paluska, Hubert Pham, Umar Saif, Ch...
CEC
2009
IEEE
16 years 1 months ago
Gate-level optimization of polymorphic circuits using Cartesian Genetic Programming
— Polymorphic digital circuits contain ordinary and polymorphic gates. In the past, Cartesian Genetic Programming (CGP) has been applied to synthesize polymorphic circuits at the...
Zbysek Gajda, Lukás Sekanina