2786 search results - page 272 / 558 » A Practical Technique for Process Abstraction |
185
click to vote
PLILP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We address the problem of term normalisation modulo associativecommutative (AC) theories, and describe several techniques for compiling many-to-one AC matching and reduce...
173
click to vote
FUZZY
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. In this paper, neural networks trained with the back-propagation algorithm are applied to predict the future values of time series that consist of the weekly demand on it...
203
click to vote
ASYNC
1997
IEEE
15 years 10 months ago
1997
IEEE
Abstract-This paper describes the design and verification of a high-performance asynchronous differential equation solver benchmark circuit. The design has low control overhead whi...
166
click to vote
HAIS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Cooperative Coevolution is a technique in the area of Evolutionary Computation. It has been applied to many combinatorial problems with great success. This contribution p...
146
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. An impure language is one that combines functional and imperative constructs. We propose a method for ensuring termination of impure concurrent languages that makes it po...