Sciweavers

3457 search results - page 145 / 692
» A Symbol Is Not a Symbol
Sort
View
GECCO
2007
Springer
147views Optimization» more  GECCO 2007»
16 years 1 months ago
An approach to analyze the evolution of symbolic conditions in learning classifier systems
Pier Luca Lanzi, Stefano Rocca, Stefania Solari
HVC
2007
Springer
109views Hardware» more  HVC 2007»
16 years 1 months ago
Symbolic Execution and Model Checking for Testing
Corina S. Pasareanu, Willem Visser
ICCS
2007
Springer
16 years 1 months ago
On the Virtues of Generic Programming for Symbolic Computation
The purpose of this study is to measure the impact of C level code polynomial arithmetic on the performances of AXIOM highlevel algorithms, such as polynomial factorization. More p...
Xin Li, Marc Moreno Maza, Éric Schost