Sciweavers

16 search results - page 4 / 4
» Adaptive Gene Expression Programming Algorithm Based on Clou...
Sort
View
TACAS
2009
Springer
109views Algorithms» more  TACAS 2009»
13 years 11 months ago
TaPAS: The Talence Presburger Arithmetic Suite
TAPAS is a suite of libraries dedicated to FO (R, Z, +, ≤). The suite provides (1) the application programming interface GENEPI for this logic with encapsulations of many classic...
Jérôme Leroux, Gérald Point