3690 search results - page 67 / 738 » Computation with classical sequents |
IDA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract Deciding which computer architecture provides the best performance for a certain program is an important problem in hardware design and benchmarking. While previous approa...
101
click to vote
SACI
2007
IEEE
15 years 4 months ago
2007
IEEE
- The aim of this paper is to propose a filter, based on a multi-objective evolutionary algorithm, for attributes’ ranking in the context of a data mining task. The behavior of t...
CODES
1998
IEEE
15 years 2 months ago
1998
IEEE
Many applications include a variety off unctions from different domains. Therefore, they are best modeled with a combination of different modeling languages. For a sound design pr...
EUROGP
2000
Springer
15 years 1 months ago
2000
Springer
The use of FPGA based custom computing platforms is proposed for implementing linearly structured Genetic Programs. Such a context enables consideration of micro architectural and ...
DAGSTUHL
2007
14 years 11 months ago
2007
We present a stationary iterative scheme for PageRank computation. The algorithm is based on a linear system formulation of the problem, uses inner/outer iterations, and amounts to...