1730 search results - page 153 / 346 » Algebra and Computation |
106
Voted
TSP
2008
15 years 3 months ago
2008
Abstract--A method for the computation of nonlinear digital filter networks containing delay-free loops is proposed. By preserving the topology of the network this method permits t...
114
Voted
BIRTHDAY
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper investigates how to apply the techniques on solving semi-algebraic systems to invariant generation of polynomial programs. By our approach, the generated invar...
125
Voted
STACS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. It is well-known that Abstract State Machines (ASMs) can simulate “stepby-step” any type of machines (Turing machines, RAMs, etc.). We aim to overcome two facts: 1) s...
132
Voted
GECCO
2009
Springer
15 years 10 months ago
2009
Springer
Solving complex, real-world problems with genetic programming (GP) can require extensive computing resources. However, the highly parallel nature of GP facilitates using a large n...
130
Voted
GRID
2006
Springer
15 years 3 months ago
2006
Springer
In this paper we propose a framework dedicated to the development and the execution of parallel applications over large scale global computing platforms. A workflow programming env...