2598 search results - page 203 / 520 » The Abstract Immune System Algorithm |
161
click to vote
GPCE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Model-driven architecture envisions a paradigm shift as dramatic as the one from low-level assembler languages to high-level programming languages. In order for this visi...
145
click to vote
ISSAC
2004
Springer
15 years 11 months ago
2004
Springer
An orthogonal Ore ring is an abstraction of common properties of linear partial differential, shift and q-shift operators. Using orthogonal Ore rings, we present an algorithm for...
174
click to vote
ICES
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents a methodology to design optimized electronic systems from high abstraction level descriptions. The methodology uses Genetic Programming in addition to high-leve...
165
Voted
TACAS
1999
Springer
15 years 10 months ago
1999
Springer
The aim of this work is to investigate mechanical support for process algebra, both for concrete applications and theoretical properties. Two approaches are presented using the ver...
152
Voted
LOPSTR
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We present an approach to a coherent program synthesis system which integrates a variety of interactively controlled and automated techniques from theorem proving and alg...