3690 search results - page 67 / 738 » Computation with classical sequents |
171
click to vote
IDA
2009
Springer
16 years 22 days 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...
181
click to vote
SACI
2007
IEEE
16 years 14 days 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...
142
click to vote
CODES
1998
IEEE
15 years 10 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...
173
click to vote
EUROGP
2000
Springer
15 years 9 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 ...
154
click to vote
DAGSTUHL
2007
15 years 7 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...