© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Evolutionary model tree induction
R.C. Barros, M.P. Basgalupp, D.D. Ruiz, A.C.P.L.F. de Carvalho, and A.A. Freitas
In D. Shin, editor, Applied Computing 2010: Proc. 25th Annual ACM Symposium on Applied Computing (SAC-2010), volume Vol. 2, pages 182-196. ACM Press, March 2010.Bibtex Record
@inproceedings{3006,
author = {R.C. Barros and M.P. Basgalupp and D.D. Ruiz and A.C.P.L.F. de Carvalho and A.A. Freitas},
title = {Evolutionary model tree induction},
month = {March},
year = {2010},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2010/3006},
publication_type = {inproceedings},
submission_id = {29210_1271681108},
ISBN = {9781605586380},
booktitle = {Applied Computing 2010: Proc. 25th Annual ACM Symposium on Applied Computing (SAC-2010)},
editor = {D. Shin},
volume = {Vol. 2},
publisher = {ACM Press},
refereed = {yes},
}