Evo Indent http://www.dcs.kcl.ac.uk/staff/W.Langdon/ evo_indent/ is a PHP web server based user driven genetic algorithm which finds good C code layouts generated by GNU indent. ...
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
—Some data mining problems require predictive models to be not only accurate but also comprehensible. Comprehensibility enables human inspection and understanding of the model, m...
Abstract. Prospective Logic Programming is a declarative framework supporting the specification of autonomous agents capable of anticipating and reasoning about hypothetical futur...
In this paper we present a method for automatically testing interactive multimodal systems1 . The proposed approach was originally dedicated to synchronous programming which is ma...
Laya Madani, Catherine Oriat, Ioannis Parissis, Ju...