| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Thomas A. Runkler, Ralph Grothmann, Joachim Bamberger |
Optimierung industrieller Logistikprozesse mit Verfahren der Schwarmintelligenz und rekurrenten neuronalen Netzen.   |
KI  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander V. Smirnov, Nikolay Shilov |
AI-based Approaches to Solving a Dynamic Logistics Problem. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Hellingrath, Carsten Böhle |
Integrierte agentenbasierte Produktions- und Logistikplanung in der Supply Chain. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andre Döring |
Intelligente Steuerung der Änderungsplanung in Produktionsnetzwerken der Serienfertigung. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas D. Lattner, Ingo J. Timm |
Themenschwerpunkt "Logistik". |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Hertzberg |
Wie lockt man Zeitschriftenautoren? |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Ferrein |
Robot Controllers for Highly Dynamic Environments with Real-time Constraints. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Maik Günther, Volker Nissen |
Sub-daily Staff Scheduling for a Logistics Service Provider. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Babak Mougouie |
Integration of Similarity-based and Deductive Reasoning for Knowledge Management. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalja Pulter, Jens Nimis, Peter C. Lockemann |
Störungsmanagement in offenen, getakteten Logistiknetzen. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas D. Lattner, Ingo J. Timm |
Interview with Paul Davidsson. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Wurzer |
iQser GIN Plattform. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Michal Moskal |
Deductive Verification of System Software in the Verisoft XT Project. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Giesl |
Special Issue on Automated Deduction. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Furbach, Ingo Glöckner, Hermann Helbig, Björn Pelzer |
Logic-Based Question Answering. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lothar Hotz, Bernd Neumann |
Learning and Recognizing Structures in Façade Scenes (eTRIMS) - A Retrospective. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Carsten Lutz, Anni-Yasmin Turhan |
Small is Again Beautiful in Description Logics. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus-Dieter Althoff |
Künstliche Intelligenz ab 2010 bei Springer. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schneider-Kamp |
Static Termination Analysis for Prolog Using Term Rewriting and SAT Solving. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | André Platzer |
Differential Dynamic Logics. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik Schulenburg, Norbert Elkmann, Markus Fritzsche, Joachim Hertzberg, Stefan Stiene |
LiSA: Auf dem Weg zur sicheren Assistenzrobotik. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Giesl |
Current Trends in Automated Deduction. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Baumgartner, Evgenij Thorstensen |
Instance Based Methods - A Brief Overview. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermann Engesser |
Willkommen bei Springer. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Egly, Leopold Haller |
A SAT Solver for Circuits Based on the Tableau Method. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Ahrendt, Bernhard Beckert, Martin Giese, Philipp Rümmer |
Practical Aspects of Automated Deduction for Program Verification. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Pawlaszczyk |
Skalierbare Agentenbasierte Simulation - Verteilte Simulation agentenbasierter Modelle. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Schrader, Bjørn Zenker, Richard Schaller |
ROSE - Auf dem Weg zur mobilen Assistenz. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingo J. Timm, Andreas D. Lattner |
Künstliche Intelligenz in der Logistik. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Sauer |
Vertical Data Integration for Reactive Scheduling. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan D. Gehrke, Otthein Herzog, Hagen Langer, Rainer Malaka, Robert Porzel, Tobias Warden |
An Agent-based Approach to Autonomous Logistic Processes - Collaborative Research Centre 637: Autonomous Cooperating Logistic Processes. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bärbel Mertsching, Marcus Hund, Muhammad Zaheer Aziz (eds.) |
KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Miksatko, Michael Kipp |
Hybrid Control for Embodied Agents Applications. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Falk Langer, Dirk Eilers, Rudi Knorr |
Fault Detection in Discrete Event Based Distributed Systems by Forecasting Message Sequences with Neural Networks. |
KI |
2009 |
DBLP DOI BibTeX RDF |
self learning fault detection, message sequence learning, neural networks, distributed embedded systems |
| 1 | Vladimir Volkov |
Thresholding for Segmentation and Extraction of Extensive Objects on Digital Images. |
KI |
2009 |
DBLP DOI BibTeX RDF |
Segmentation, thresholding, extraction, erosion |
| 1 | Michael Müller, Dennis Senftleben, Josef Pauli |
Parameter Evolution: A Design Pattern for Active Vision. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcus Hund, Bärbel Mertsching |
Occlusion as a Monocular Depth Cue Derived from Illusory Contour Perception. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Maik Günther, Volker Nissen |
A Comparison of Neighbourhood Topologies for Staff Scheduling with Particle Swarm Optimisation. |
KI |
2009 |
DBLP DOI BibTeX RDF |
neighbourhood topologies, sub-daily planning, particle swarm optimization, staff scheduling |
| 1 | Bernhard Beckert, Markus Wagner |
Probabilistic Models for the Verification of Human-Computer Interaction. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin V. Butz, Gerulf K. M. Pedersen |
The Scared Robot: Motivations in a Simulated Robot Arm. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rainer Malaka, Robert Porzel |
Design Principles for Embodied Interaction: The Case of Ubiquitous Computing. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | John Lipinski, Yulia Sandamirskaya, Gregor Schöner |
Behaviorally Flexible Spatial Communication: Robotic Demonstrations of a Neurodynamic Framework. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Pardowitz, Jan Steffen, Helge Ritter |
Self-emerging Action Gestalts for Task Segmentation. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregor Lämmel, Gunnar Flötteröd |
Towards System Optimum: Finding Optimal Routing Strategies in Time-Dependent Networks for Large-Scale Evacuation Problems. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yohei Kurata, Hui Shi |
Toward Heterogeneous Cardinal Direction Calculus. |
KI |
2009 |
DBLP DOI BibTeX RDF |
cardinal direction relations, heterogeneous spatial calculi, composition, converse |
| 1 | Heni Ben Amor, Erik Berger, David Vogt, Bernhard Jung |
Kinesthetic Bootstrapping: Teaching Motor Skills to Humanoid Robots through Physical Interaction. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Garbacz, Piotr Kulicki, Marek Lechniak, Robert Trypuz |
Beyond Public Announcement Logic: An Alternative Approach to Some AI Puzzles. |
KI |
2009 |
DBLP DOI BibTeX RDF |
multi-agent systems, knowledge representation, Prolog, dynamic epistemic logic |
| 1 | Michael Volkhardt, Sören Kalesse, Steffen Müller, Horst-Michael Gross |
Maximum a Posteriori Estimation of Dynamically Changing Distributions. |
KI |
2009 |
DBLP DOI BibTeX RDF |
EM, MAP, state estimation, Bayesian filter, factor graph, conjugate prior |
| 1 | Pierre Lison, Geert-Jan M. Kruijff |
Robust Processing of Situated Spoken Dialogue. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Adrian, Jörn Hees, Ludger van Elst, Andreas Dengel |
iDocument: Using Ontologies for Extracting and Annotating Information from Unstructured Text. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Amjad Abou Assali, Dominique Lenne, Bruno Debray |
Case Retrieval in Ontology-Based CBR Systems. |
KI |
2009 |
DBLP DOI BibTeX RDF |
Heterogeneous case base, Similarity regions, Ontology, Similarity measures, Case-based reasoning |
| 1 | Meike Reichle, Kerstin Bach, Klaus-Dieter Althoff |
The SEASALT Architecture and Its Realization within the docQuery Project. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fevzi Belli, Mubariz Eminov, Nida Gökçe |
Model-Based Test Prioritizing - A Comparative Soft-Computing Approach and Case Studies. |
KI |
2009 |
DBLP DOI BibTeX RDF |
model-based test prioritizing, adaptive competitive learning, clustering, neural networks, fuzzy c-means |
| 1 | Patrick O. Stalph, Martin V. Butz, Gerulf K. M. Pedersen |
Controlling a Four Degree of Freedom Arm in 3D Using the XCSF Learning Classifier System. |
KI |
2009 |
DBLP DOI BibTeX RDF |
LWPR, Autonomous Robot Control, Learning Classifier Systems, Dynamic Systems, XCSF |
| 1 | Eva Hanser, Paul McKevitt, Tom Lunney, Joan Condell |
SceneMaker: Automatic Visualisation of Screenplays. |
KI |
2009 |
DBLP DOI BibTeX RDF |
Text Layout Analysis, Intelligent Multimodal Interfaces, Affective Agents, Genre Specification, Automatic 3D Visualisation, Affective Cinematography, SceneMaker, Natural Language Processing |
| 1 | Hongqi Wang, Olana Missura, Thomas Gärtner, Stefan Wrobel |
Context-Based Clustering of Image Search Results. |
KI |
2009 |
DBLP DOI BibTeX RDF |
machine learning, image search, image clustering |
| 1 | Christian Schäufler, Stefan Artmann, Clemens Beckstein |
A Structuralistic Approach to Ontologies. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcus Liwicki, Markus Weber, Andreas Dengel |
Automatic Recognition and Interpretation of Pen- and Paper-Based Document Annotations. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Henri Prade, Gilles Richard |
Analogy, Paralogy and Reverse Analogy: Postulates and Inferences. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Steffen, Michael Pardowitz, Helge Ritter |
A Manifold Representation as Common Basis for Action Production and Recognition. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Taswar Iqbal, Volker Lohweg, Dinh Khoi Le, Michael Nolte |
Human Perception Based Counterfeit Detection for Automated Teller Machines. |
KI |
2009 |
DBLP DOI BibTeX RDF |
counterfeit resistance, digital authentication, surface coding, pattern recognition, ATMs, human perception |
| 1 | Lawrence Mandow, José-Luis Pérez-de-la-Cruz |
A Memory-Efficient Search Strategy for Multiobjective Shortest Path Problems. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Eckart Michaelsen, Michael Arens, Leo J. Doktorski |
Interaction of Control and Knowledge in a Structural Recognition System. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregor Heinrich, Michael Goesele |
Variational Bayes for Generic Topic Models. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Frederic Hilkenmeier, Jan Tünnermann, Ingrid Scharlau |
Early Top-Down Influences in Control of Attention: Evidence from the Attentional Blink. |
KI |
2009 |
DBLP DOI BibTeX RDF |
visuo-spatial attention, top-down control, task relevance, artificial visual attention, attentional blink |
| 1 | Manfred Kerber |
Heuristics for Resolution in Propositional Logic. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefanie Jegelka, Arthur Gretton, Bernhard Schölkopf, Bharath K. Sriperumbudur, Ulrike von Luxburg |
Generalized Clustering via Kernel Embeddings. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Björn Gottfried |
Behaviour Monitoring and Interpretation. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Eggert, Sven Hellbach, Alexander Kolarow, Edgar Körner, Horst-Michael Gross |
Prediction and Classification of Motion Trajectories Using Spatio-Temporal NMF. |
KI |
2009 |
DBLP DOI BibTeX RDF |
Robot, Prediction, Non-negative Matrix Factorization, Motion Trajectories, Movement Data |
| 1 | Nils Petersen, Didier Stricker |
Fast Hand Detection Using Posture Invariant Constraints. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Azizi, Hamid Reza Pourreza |
A Novel and Efficient Method to Extract Features and Vector Creation in Iris Recognition System. |
KI |
2009 |
DBLP DOI BibTeX RDF |
Contourlet coefficients, Biometric, Iris Recognition, Co-occurrence Matrix, Contourlet Transform |
| 1 | Paul Maier, Martin Sachenbacher, Thomas Rühr, Lukas Kuhn |
Constraint-Based Integration of Plan Tracking and Prognosis for Autonomous Production. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Konrad Gadzicki |
Hierarchical Clustering of Sensorimotor Features. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Suda, Geoff Sutcliffe, Patrick Wischnewski, Manuel Lamotte-Schubert, Gerard de Melo |
External Sources of Axioms in Automated Theorem Proving. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci |
Flexible Timeline-Based Plan Verification. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vera Hollink, Maarten van Someren, Viktor de Boer |
Clustering Objects from Multiple Collections. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tatjana Scheffler, Roland Roller, Norbert Reithinger |
Semi-automatic Creation of Resources for Spoken Dialog Systems. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Dietzfelbinger, Stefan Edelkamp |
Perfect Hashing for State Spaces in BDD Representation. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Klügl, Martin Atzmueller, Frank Puppe |
Meta-level Information Extraction. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Zhang, Rui Wang 0005 |
Correlating Natural Language Parser Performance with Statistical Measures of the Text. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Franziska Klügl, Georg Klubertanz, Guido Rindsfüser |
Agent-Based Pedestrian Simulation of Train Evacuation Integrating Environmental Data. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ammar Mohammed, Christian Schwarz |
HieroMate: A Graphical Tool for Specification and Verification of Hierarchical Hybrid Automata. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hannes Strass, Michael Thielscher |
On Defaults in Action Theories. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Kramer, André Barthelmes, Günter Rudolph |
Surrogate Constraint Functions for CMA Evolution Strategies. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Immanuel Schweizer, Kamill Panitzek, Sang-Hyeun Park, Johannes Fürnkranz |
An Exploitative Monte-Carlo Poker Agent. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Florentin Neumann, Andrea Reichenberger, Martin Ziegler |
Variations of the Turing Test in the Age of Internet and Virtual Reality. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Serge Autexier, Dominik Dietrich |
Atomic Metadeduction. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Kramer, Tobias Hein |
Stochastic Feature Selection in Support Vector Machine Based Instrument Recognition. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaowang Zhang, Zuoquan Lin |
An Argumentation-Based Approach to Handling Inconsistencies in DL-Lite. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kruse, Michael Baumann, Tobias Knieper, Christoph Seipel, Lial Khaluf, Nico Lehmann, Alex Lermontow, Christian Messinger, Simon Richter, Thomas Schmidt, Daniel Swars |
Learning Parametrised RoboCup Rescue Agent Behaviour Using an Evolutionary Algorithm. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadine Pfeiffer-Leßmann, Ipke Wachsmuth |
Formalizing Joint Attention in Cooperative Interaction with a Virtual Human. |
KI |
2009 |
DBLP DOI BibTeX RDF |
modal logic, attention, alignment, BDI, cooperative agents |
| 1 | Christoph Betz, Malte Helmert |
Planning with h + in Theory and Practice. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Kramer, Patrick Koch |
Rake Selection: A Novel Evolutionary Multi-Objective Optimization Algorithm. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Pommerening, Stefan Wölfl, Matthias Westphal |
Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Salah E.-N. Shafik, Bärbel Mertsching |
Real-Time Scan-Line Segment Based Stereo Vision for the Estimation of Biologically Motivated Classifier Cells. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleksandr Kolomiyets, Marie-Francine Moens |
Comparing Two Approaches for the Recognition of Temporal Expressions. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronny Hartanto, Joachim Hertzberg |
On the Benefit of Fusing DL-Reasoning with HTN-Planning. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Breuß, Dominik Dietrich |
Fuzzy Numerical Schemes for Hyperbolic Differential Equations. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Zaheer Aziz, Bärbel Mertsching |
Early Clustering Approach towards Modeling of Bottom-Up Visual Attention. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolay Chumerin, Nikolay V. Manyakov, Adrien Combaz, Johan A. K. Suykens, Refet Firat Yazicioglu, Tom Torfs, Patrick Merken, Herc P. Neves, Chris Van Hoof, Marc M. Van Hulle |
P300 Detection Based on Feature Extraction in On-line Brain-Computer Interface. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")