|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
Results
Found 5 publication records. Showing 5 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
76 | Martin Hofmann 0008 |
IGOR2 - an analytical inductive functional programming system: tool demo. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
igor2, inductive programming, tool demo, example |
40 | Jacqueline Hofmann, Emanuel Kitzelmann, Ute Schmid |
Applying Inductive Program Synthesis to Induction of Number Series A Case Study with IGOR2. |
KI |
2014 |
DBLP DOI BibTeX RDF |
|
40 | Emanuel Kitzelmann |
Two New Operators for IGOR2 to Increase Synthesis Efficiency. |
AAIP |
2011 |
DBLP BibTeX RDF |
|
30 | Martin Hofmann 0008, Emanuel Kitzelmann |
I/O guided detection of list catamorphisms: towards problem specific use of program templates in IP. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
higherorder functions, igorii, inductive programming, program schemes, haskell |
30 | Pierre Flener, Ute Schmid |
An introduction to inductive programming. |
Artif. Intell. Rev. |
2008 |
DBLP DOI BibTeX RDF |
Inductive programming, Machine learning |
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|