Optimierung industrieller Logistikprozesse mit Verfahren der Schwarmintelligenz und rekurrenten neuronalen Netzen Thomas A. RunklerRalph GrothmannJoachim Bamberger Projekt 20 May 2010 Pages: 149 - 152
Sub-daily Staff Scheduling for a Logistics Service Provider Maik GüntherVolker Nissen Fachbeitrag 18 May 2010 Pages: 105 - 113
Integration of Similarity-based and Deductive Reasoning for Knowledge Management Babak Mougouie Dissertationen und Habilitationen 13 May 2010 Pages: 169 - 173
ROSE – Auf dem Weg zur mobilen Assistenz Jan SchraderBjørn ZenkerRichard Schaller Projekt 07 May 2010 Pages: 153 - 157
Simultaneous Localization and Mapping – Gasteditorial Udo Frese Editorial 06 May 2010 Pages: 189 - 189
Practical Aspects of Automated Deduction for Program Verification Wolfgang AhrendtBernhard BeckertPhilipp Rümmer Fachbeitrag 23 February 2010 Pages: 43 - 49
Differential Dynamic Logics André Platzer Dissertationen und Habilitationen 12 February 2010 Pages: 75 - 77
LiSA: Auf dem Weg zur sicheren Assistenzrobotik Erik SchulenburgNorbert ElkmannStefan Stiene Projekt 12 February 2010 Pages: 69 - 73
A SAT Solver for Circuits Based on the Tableau Method Uwe EglyLeopold Haller Fachbeitrag 11 February 2010 Pages: 15 - 23
Künstliche Intelligenz ab 2010 bei Springer Klaus-Dieter Althoff Editorial 11 February 2010 Pages: 1 - 3
Static Termination Analysis for Prolog Using Term Rewriting and SAT Solving Peter Schneider-Kamp Dissertationen und Habilitationen 09 February 2010 Pages: 79 - 81
Small is Again Beautiful in Description Logics Franz BaaderCarsten LutzAnni-Yasmin Turhan Fachbeitrag 09 February 2010 Pages: 25 - 33
Learning and Recognizing Structures in Façade Scenes (eTRIMS)—A Retrospective Lothar HotzBernd Neumann Projekt 06 February 2010 Pages: 63 - 68
Deductive Verification of System Software in the Verisoft XT Project Bernhard BeckertMichał Moskal Projekt 05 February 2010 Pages: 57 - 61
Logic-Based Question Answering Ulrich FurbachIngo GlöcknerBjörn Pelzer Projekt 05 February 2010 Pages: 51 - 55
Instance Based Methods—A Brief Overview Peter BaumgartnerEvgenij Thorstensen Fachbeitrag 05 February 2010 Pages: 35 - 42