7167 search results - page 98 / 1434 » A Technique for Invariant Generation |
152
click to vote
TAPSOFT
1995
Springer
15 years 9 months ago
1995
Springer
Algebraic specifications have been used successfully as a formal basis for software development. This paper discusses how the origin and dynamic dependence relations implicitly de...
231
click to vote
TCAD
1998
15 years 6 months ago
1998
This paper presents techniques for generating addresses for memories containing multiple arrays. Because these techniques rely on the inversion or rearrangement of address bits, t...
170
click to vote
COLING
2010
15 years 1 months ago
2010
This paper proposes a method that leverages multiple machine translation (MT) engines for paraphrase generation (PG). The method includes two stages. Firstly, we use a multi-pivot...
139
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
In this paper we introduce several new improvements to the bottom-up model generation (BUMG) paradigm. Our techniques are based on non-trivial transformations of first-order probl...
169
click to vote
IWANN
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. This paper presents a study in which a new technique for automatically developing Artificial Neural Networks (ANNs) by means of Evolutionary Computation (EC) tools is com...