You have Guest access.
Log In
Bärbel Mertsching, Marcus Hund and Zaheer Aziz
Front matter
1-8
Solving Fully-Observable Non-deterministic Planning Problems via Translation into a General Game
9-16
Planning with h + in Theory and Practice
17-24
A Framework for Interactive Hybrid Planning
25-32
A Memory-Efficient Search Strategy for Multiobjective Shortest Path Problems
33-40
Perfect Hashing for State Spaces in BDD Representation
41-48
On the Benefit of Fusing DL-Reasoning with HTN-Planning
49-56
Flexible Timeline-Based Plan Verification
57-64
Solving Non-deterministic Planning Problems with Pattern Database Heuristics
65-72
An Exploitative Monte-Carlo Poker Agent
73-80
Interaction of Control and Knowledge in a Structural Recognition System
81-88
Attention Speeds Up Visual Information Processing: Selection for Perception or Selection for Action?
89-96
Real-Time Scan-Line Segment Based Stereo Vision for the Estimation of Biologically Motivated Classifier Cells
97-105
Occlusion as a Monocular Depth Cue Derived from Illusory Contour Perception
106-113
Fast Hand Detection Using Posture Invariant Constraints
114-122
A Novel and Efficient Method to Extract Features and Vector Creation in Iris Recognition System
123-127
What You See Is What You Set – The Position of Moving Objects
128-135
Parameter Evolution: A Design Pattern for Active Vision
136-143
Clustering Objects from Multiple Collections
144-152
Generalized Clustering via Kernel Embeddings
153-160
Context-Based Clustering of Image Search Results
161-168
Variational Bayes for Generic Topic Models
169-176
Surrogate Constraint Functions for CMA Evolution Strategies
177-184
Rake Selection: A Novel Evolutionary Multi-Objective Optimization Algorithm
185-192
A Comparison of Neighbourhood Topologies for Staff Scheduling with Particle Swarm Optimisation
193-200
Controlling a Four Degree of Freedom Arm in 3D Using the XCSF Learning Classifier System
201-208
An Evolutionary Graph Transformation System as a Modelling Framework for Evolutionary Algorithms
209-216
Semi-automatic Creation of Resources for Spoken Dialog Systems
217-224
Correlating Natural Language Parser Performance with Statistical Measures of the Text
225-232
Comparing Two Approaches for the Recognition of Temporal Expressions
233-240
Meta-level Information Extraction
241-248
Robust Processing of Situated Spoken Dialogue
249-256
iDocument: Using Ontologies for Extracting and Annotating Information from Unstructured Text
257-264
Behaviorally Flexible Spatial Communication: Robotic Demonstrations of a Neurodynamic Framework
265-272
SceneMaker: Automatic Visualisation of Screenplays
273-280
A Conceptual Agent Model Based on a Uniform Approach to Various Belief Operations
281-288
External Sources of Axioms in Automated Theorem Proving
289-297
Presenting Proofs with Adapted Granularity
298-305
On Defaults in Action Theories
306-314
Analogy, Paralogy and Reverse Analogy: Postulates and Inferences
315-322
Early Clustering Approach towards Modeling of Bottom-Up Visual Attention
323-330
A Formal Cognitive Model of Mathematical Metaphors
331-338
Hierarchical Clustering of Sensorimotor Features
339-346
P300 Detection Based on Feature Extraction in On-line Brain-Computer Interface
347-354
Human Perception Based Counterfeit Detection for Automated Teller Machines
355-362
Variations of the Turing Test in the Age of Internet and Virtual Reality (Extended Abstract)
363-370
A Structuralistic Approach to Ontologies
371-378
AI Viewed as a “Science of the Culture”
379-386
Beyond Public Announcement Logic: An Alternative Approach to Some AI Puzzles
387-394
Behavioural Congruence in Turing Test-Like Human-Computer Interaction
395-402
Machine Learning Techniques for Selforganizing Combustion Control
403-410
Constraint-Based Integration of Plan Tracking and Prognosis for Autonomous Production
411-418
Fault Detection in Discrete Event Based Distributed Systems by Forecasting Message Sequences with Neural Networks
419-426
Fuzzy Numerical Schemes for Hyperbolic Differential Equations
427-434
Model-Based Test Prioritizing – A Comparative Soft-Computing Approach and Case Studies
435-443
Comparing Unification Algorithms in First-Order Theorem Proving
444-451
Atomic Metadeduction
452-459
Toward Heterogeneous Cardinal Direction Calculus
460-467
The Scared Robot: Motivations in a Simulated Robot Arm
468-475
Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning
476-483
Assessing the Strength of Structural Changes in Cooccurrence Graphs
484-491
Maximum a Posteriori Estimation of Dynamically Changing Distributions
492-499
Kinesthetic Bootstrapping: Teaching Motor Skills to Humanoid Robots through Physical Interaction
500-507
To See and to Be Seen in the Virtual Beer Garden - A Gaze Behavior System for Intelligent Virtual Agents in a 3D Environment
508-515
Requirements and Building Blocks for Sociable Embodied Agents
516-523
Modeling Peripersonal Action Space for Virtual Humans by Learning a Tactile Body Schema
524-531
Hybrid Control for Embodied Agents Applications
532-539
Towards System Optimum: Finding Optimal Routing Strategies in Time-Dependent Networks for Large-Scale Evacuation Problems
540-547
Formalizing Joint Attention in Cooperative Interaction with a Virtual Human
548-555
Towards Determining Cooperation Based on Multiple Criteria
556-563
The SEASALT Architecture and Its Realization within the docQuery Project
564-571
Case Retrieval in Ontology-Based CBR Systems
572-580
Behaviour Monitoring and Interpretation A Computational Approach to Ethology
581-588
Automatic Recognition and Interpretation of Pen- and Paper-Based Document Annotations
589-596
Self-emerging Action Gestalts for Task Segmentation
597-606
Prediction and Classification of Motion Trajectories Using Spatio-Temporal NMF
607-614
A Manifold Representation as Common Basis for Action Production and Recognition
615-622
An Argumentation-Based Approach to Handling Inconsistencies in DL-Lite
623-630
Thresholding for Segmentation and Extraction of Extensive Objects on Digital Images
631-638
Agent-Based Pedestrian Simulation of Train Evacuation Integrating Environmental Data
639-647
An Intelligent Fuzzy Agent for Spatial Reasoning in GIS
648-655
Learning Parametrised RoboCup Rescue Agent Behaviour Using an Evolutionary Algorithm
656-663
Heuristics for Resolution in Propositional Logic
664-671
Context-Aware Service Discovery Using Case-Based Reasoning Methods
672-679
Forward Chaining Algorithm for Solving the Shortest Path Problem in Arbitrary Deterministic Environment in Linear Time - Applied for the Tower of Hanoi Problem
680-686
Early Top-Down Influences in Control of Attention: Evidence from the Attentional Blink
687-694
Probabilistic Models for the Verification of Human-Computer Interaction
695-702
HieroMate: A Graphical Tool for Specification and Verification of Hierarchical Hybrid Automata
703-710
Building Geospatial Data Collections with Location-Based Games
711-718
Design Principles for Embodied Interaction: The Case of Ubiquitous Computing
719-726
Multidisciplinary Design of Air-Launched Space Launch Vehicle Using Simulated Annealing
727-734
Stochastic Feature Selection in Support Vector Machine Based Instrument Recognition
Back matter
This page requires script.
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info