We performed paramater optimalization of the three highest ranked classifiers by kappa. Each classifier was evaluated by 10-fold cross-validation for each parameter value.
For LibSVM we did a grid-search optimalization of the cost and gamma attributes, and for J48 and SMO a simple parameter sweep.
In all cases we did a wide initial sweep before a narrower sweep focusing on the more promising parameter values.