Lung nodule detection in CT images using deep convolutional neural networks R Golan, C Jacob, J Denzinger 2016 international joint conference on neural networks (IJCNN), 243-250, 2016 | 593 | 2016 |
High performance ATP systems by combining several AI methods J Denzinger, M Fuchs, M Fuchs Saarländische Universitäts-und Landesbibliothek, 1996 | 140 | 1996 |
Discount-a distributed and learning equational prover J Denzinger, M Kronenburg, S Schulz Journal of Automated Reasoning 18, 189-198, 1997 | 105 | 1997 |
DISCOUNT: A system for distributed equational deduction J Avenhaus, J Denzinger, M Fuchs Rewriting Techniques and Applications: 6th International Conference, RTA-95 …, 1995 | 94 | 1995 |
Knowledge-Based Distributed Search Using Teamwork. J Denzinger ICMAS, 81-88, 1995 | 90 | 1995 |
Experiments in learning prototypical situations for variants of the pursuit game J Denzinger, M Fuchs Technische Universität Kaiserslautern, Fachbereich Informatik, 1999 | 85 | 1999 |
On cooperation between evolutionary algorithms and other search paradigms J Denzinger, T Offermann Proceedings of the 1999 Congress on Evolutionary Computation-CEC99 (Cat. No …, 1999 | 83 | 1999 |
Semi-automating small-scale source code reuse via structural correspondence R Cottrell, RJ Walker, J Denzinger Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations …, 2008 | 72 | 2008 |
Goal oriented equational theorem proving using team work J Denzinger, M Fuchs Annual Conference on Artificial Intelligence, 343-354, 1994 | 67 | 1994 |
Distributing equational theorem proving J Avenhaus, J Denzinger Rewriting Techniques and Applications: 5th International Conference, RTA-93 …, 1993 | 63 | 1993 |
Evaluating different genetic operators in the testing for unwanted emergent behavior using evolutionary learning of behavior J Denzinger, J Kidney 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology …, 2006 | 60 | 2006 |
Learning domain knowledge to improve theorem proving J Denzinger, S Schulz International Conference on Automated Deduction, 62-76, 1996 | 57 | 1996 |
Evolutionary behavior testing of commercial computer games B Chan, J Denzinger, D Gates, K Loose, J Buchanan Proceedings of the 2004 Congress on Evolutionary Computation (IEEE Cat. No …, 2004 | 54 | 2004 |
Ontology-guided learning to improve communication between groups of agents M Afsharchi, BH Far, J Denzinger Proceedings of the fifth international joint conference on Autonomous agents …, 2006 | 51 | 2006 |
Evolutionary online learning of cooperative behavior with situation-action pairs J Denzinger, M Kordt Proceedings Fourth International Conference on MultiAgent Systems, 103-110, 2000 | 51 | 2000 |
Recording and analysing knowledge-based distributed deduction processes J Denzinger, S Schulz Journal of Symbolic Computation 21 (4-6), 523-541, 1996 | 49 | 1996 |
Cooperation of heterogeneous provers J Denzinger, D Fuchs IJCAI 99, 10-15, 1999 | 47 | 1999 |
Improving modeling of other agents using tentative stereotypes and compactification of observations J Denzinger, J Hamdan Proceedings. IEEE/WIC/ACM International Conference on Intelligent Agent …, 2004 | 44 | 2004 |
Determining detailed structural correspondence for generalization tasks R Cottrell, JJC Chang, RJ Walker, J Denzinger Proceedings of the the 6th joint meeting of the European software …, 2007 | 43 | 2007 |
Planning for distributed theorem proving: The teamwork approach J Denzinger, M Kronenburg KI-96: Advances in Artificial Intelligence: 20th Annual German Conference on …, 1996 | 42 | 1996 |