A blue social bookmark and publication sharing system.
bookmarks
(4)
publications
Alan W. Biermann Encyclopedia of Artificial Intelligence, John Wiley & Sons, Inc., New York, NY, USA, Second edition, (
1992)
to overview enumerative_ip ilp program_synthesis analytical_ip induction formal_methods ifp deductive_program_synthesis ase inductive_programming lisp by emanuel and 1 other person on Sep 29, 2008, 12:09 PMA. W. Biermann Journal of Symbolic Compututation1(2):119--142(
1985)
to program_synthesis inductive_programming deductive_program_synthesis ifp analytical_ip induction ase lisp enumerative_ip by emanuel and 1 other person on Sep 29, 2008, 11:49 AMAlan W. Biermann Automatic Program Construction Techniques, chapter 17, Macmillan, (
1984)
to ifp inductive_programming induction program_synthesis lisp enumerative_ip analytical_ip by emanuel on Sep 24, 2008, 2:14 PMEmanuel Kitzelmann and Ute Schmid Electronic Notes in Theoretical Computer Science174(1):49--63(
2007)
to program_synthesis induction analytical_ip rule-based_programming article inductive_programming igor2 constructor_systems by emanuel and 2 other people on Sep 18, 2008, 11:25 AMEmanuel Kitzelmann ECAI 2008, 18th European Conference on Artificial Intelligence, Proceedings, volume178ofFrontiers in Artificial Intelligence and Applications, page781-782. Amsterdam, Netherlands, IOS Press, (
2008)
to induction constructor_systems analytical_ip extended_abstract inproceedings ifp program_synthesis igor2 inductive_programming by emanuel on Sep 18, 2008, 10:57 AMEmanuel Kitzelmann 18th International Symposium on Logic-Based Program Synthesis and Transformation, Springer-Verlag, (
2008)
to appear
.
to ifp program_synthesis igor2 induction inproceedings constructor_systems inductive_programming analytical_ip by emanuel on Sep 18, 2008, 10:43 AMJean-Pierre Jouannaud and Yves Kodratoff Computer Program Synthesis Methodologies, D. Reidel Publ. Co., (
1983)
to program_synthesis ifp induction inductive_programming analytical_ip by emanuel on Sep 17, 2008, 4:47 PMY. Kodratoff and J. Fargues Proceedings of the AISB/GI Conference on Artificial Intelligence, page169--175. Hamburg, AISB and GI, (
1978)
to analytical_ip ifp induction program_synthesis lisp inductive_programming by emanuel and 1 other person on Sep 17, 2008, 4:29 PMStasinos Konstantopoulos Faculteit der Wiskunde en Natuurwetenschappen, Rijksuniversiteit Groningen, Groningen, (
2003)
to phd computational-linguistics stasinos phonotactics parsing ILP induction by stasinos on Sep 7, 2008, 10:25 AMGuillaume Le Blanc ECML'94: Proceedings of the European Conference on Machine Learning, page183--197. Springer-Verlag, (
1994)
to inductive_programming induction term_rewriting ifp analytical_ip program_synthesis by emanuel and 2 other people on Sep 5, 2008, 11:17 AMP. D. Summers Dept. of Computer Science, Yale University, New Haven, US-CT, (
1975)
to ip-system ifp thesys inductive_programming lisp program_synthesis induction analytical_ip by emanuel on Sep 5, 2008, 10:54 AM- to induction program_synthesis pre-summers inductive_programming ase synthesis_from_traces by emanuel and 1 other person on Sep 4, 2008, 4:42 PM
St'ephane Lapointe and Stan Matwin ML92: Proceedings of the Ninth International Workshop on Machine Learning, page273--281. San Francisco, CA, USA, Morgan Kaufmann Publishers Inc., (
1992)
to analytical_ip inductive_programming induction ilp ip-system program_synthesis by emanuel and 2 other people on Jun 30, 2008, 5:57 PMS. E. Rouwhorst and A. P. Engelbrecht Proceedings of the 2000 Congress on Evolutionary Computation CEC00, 1, page633--638. La Jolla Marriott Hotel La Jolla, California, USA, IEEE Press, 6-9 July2000. to algorithm, problems, classification, BGP induction building CN2 classification algorithms, decision computation, operators, search pattern C4.5 mining, hybrid operators systems, evolutionary genetic mathematical programming, blocks, trees, data databases, by brazovayeye on Jun 19, 2008, 5:46 PMHugues Juille and Jordan B. Pollack Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI-98) Tenth Conference on Innovative Applications of Artificial Intelligence (IAAI-98), Madison, Wisconsin, USA, AAAI Press Books, 26-30 July1998. to genetic massively parallel DFA learning, inductive search, programming, systems, induction algorithms, by brazovayeye on Jun 19, 2008, 5:35 PMGianluigi Folino and Clara Pizzuti and Giandomenico Spezzano Proceedings 10th Euromicro Workshop on Parallel, Distributed and Network-based Processing, page181--187. Canary Islands, IEEE, 9-11 January2002. to UCI genetic large sets, learning algorithms, parallel programming grid mining, model, example, induction by programming, machine data operators, fitness function, repository, trees, decision J-measure, by brazovayeye and 1 other person on Jun 19, 2008, 5:35 PMMaria Cl'audia Figueiredo Pereira Emer and Silvia Regina Vergilio GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, page1343--1350. New York, Morgan Kaufmann Publishers, 9-13 July2002. to mutation induction engineering, programming, analysis, algorithms, test criteria of programs, testing, search-based genetic software fault-based by brazovayeye and 1 other person on Jun 19, 2008, 5:35 PMMartin Hofmann and Emanuel Kitzelmann and Ute Schmid 31st German Conference on Artificial Intelligence, Springer-Verlag, (
2008)
to appear
.
to enumerative_ip inductive_programming program_synthesis igor2 haskell analytical_ip iflp inproceedings experiment induction machine_learning overview higher-order_functions ilp ifp by emanuel and 1 other person on Jun 15, 2008, 8:58 AMEmanuel Kitzelmann and Ute Schmid and Martin Mühlpfordt and Fritz Wysotzki AISC '02/Calculemus '02: Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation, volume2385ofLNCS, page337--354. Springer-Verlag, (
2002)
to recursive_program_schemes inductive_programming program_synthesis igor1 analytical_ip inproceedings induction ifp by emanuel and 1 other person on Jun 14, 2008, 5:51 PM- to inductive_programming program_synthesis analytical_ip ifp induction recursive_program_schemes mastersthesis igor1 by emanuel and 1 other person on Jun 14, 2008, 5:48 PM
