Dissertations in Artificial Intelligence

NeOn Methodology for Building Ontology Networks: Specification, Scheduling and Reuse

Pub. date: December 2012
Author: Suárez-Figueroa, M.C.
Volume: 338
Price: US$72 / €50 / £43
ISBN: 978-1-61499-115-1
Subject: Artificial Intelligence

A new ontology development paradigm has started; its emphasis lies on the reuse and possible subs…

Probabilistic Reasoning with Incomplete and Inconsistent Beliefs

Pub. date: January 2012
Author: Thimm, M.
Volume: 336
Price: US$80 / €55
ISBN: 978-1-60750-960-8
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer & Communication Sciences, Computer Science

Reasoning with inaccurate information is a major topic within the fields of artificial intelligen…

Engineering Coordination

Pub. date: October 2011
Author: Schumann, R.
Volume: 335
Price: US$87 / €60
ISBN: 978-1-60750-736-9
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer & Communication Sciences, Computer Science

To solve complex real-world search and optimization problems it is a common strategy to divide th…

Granularity Analysis for Tutoring Mathematical Proofs

Pub. date: February 2011
Author: Schiller, M.R.G.
Volume: 334
Price: US$72 / €50
ISBN: 978-1-60750-719-2
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer & Communication Sciences, Computer Science

Rigorous formal proof is one of the key techniques in the natural sciences, engineering, and of c…

A Change-Oriented Architecture for Mathematical Authoring Assistance

Pub. date: February 2011
Author: Wagner, M.
Volume: 333
Price: US$72 / €50
ISBN: 978-1-60750-712-3
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer & Communication Sciences, Computer Science, Mathematics/Electronics/Mechanics

The computer-assisted authoring of mathematical documents using a scientific text-editor require…

Formal Concept Analysis and Tag Recommendations in Collaborative Tagging Systems

Pub. date: February 2011
Author: Jäschke, R.
Volume: 332
Price: US$73 / €50
ISBN: 978-1-60750-707-9
Subject: Artificial Intelligence, Cognitive Science, Computer & Communication Sciences

One of the most noticeable innovation that emerged with the advent of the Web 2.0 and the focal p…

Heuristics and Metaheuristics for heavily constrained hybrid Flowshop Problems

Pub. date: January 2011
Author: Urlings, T.
Volume: 331
Price: US$73 / €50
ISBN: 978-1-60750-678-2
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

Many researchers agree about the existence of a gap between machine scheduling literature on the …

Interactive Concept Description with Bayesian Partition Models

Pub. date: September 2010
Author: Müller, M.
Volume: 330
Price: US$73 / €50
ISBN: 978-1-60750-624-9
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

Automotive companies are forced to extend and improve their product lineup continuously. However, in…

Model-Based Transformations for Quantified Boolean Formulas

Pub. date: May 2010
Author: Bubeck, U.
Volume: 329
Price: US$73 / €50
ISBN: 978-1-60750-545-7
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

A popular approach for solving difficult decision problems in many areas, for example planning or ve…

Learning and Modeling with Probabilistic Conditional Logic

Pub. date: February 2010
Author: Fisseler, J.
Volume: 328
Price: US$73 / €50
ISBN: 978-1-60750-098-8
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

Conditionals, also called if-then-rules, are a popular concept for knowledge representation. They ha…

Knowledge Acquisition from a Collaboratively Generated Encyclopedia

Pub. date: February 2010
Author: Ponzetto, S.P.
Volume: 327
Price: US$73 / €50
ISBN: 978-1-60750-097-1
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

Research in Natural Language Processing (NLP) has made tremendous progress in the last two decades b…

Model-based Failure-modes-and-effects Analysis and its Application to Aircraft Subsystems

Pub. date: January 2010
Author: Fraracci, A.
Volume: 326
Price: US$80 / €55
ISBN: 978-1-60750-081-0
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

Failure mode and effects analysis (FMEA) is a mandatory process during the design phase in the aeron…

Automated Deduction for Projection Elimination

Pub. date: March 2009
Author: Wernhard, C.
Volume: 324
Price: US$73 / €50
ISBN: 978-1-58603-983-7
Subject: Artificial Intelligence, Computer & Communication Sciences

Projection is a logic operation which allows to express tasks in knowledge representation. These tas…

The GeoMap Representation: On Topologically Correct Sub-pixel Image Analysis

Pub. date: March 2009
Author: Meine, H.
Volume: 323
Price: US$73 / €50
ISBN: 978-1-58603-981-3
Subject: Artificial Intelligence, Computer & Communication Sciences

This work introduces a new, unified representation (termed GeoMap) for capturing both the geometrica…

Spatial Planning Assistance

Pub. date: December 2008
Author: Seifert, Th.
Volume: 321
Price: US$73 / €50
ISBN: 978-1-58603-953-0
Subject: Artificial Intelligence, Computer & Communication Sciences

Planning activities in an unfamiliar environment is a complex spatial task people have to deal with …

An Agent Control Perspective on Qualitative Spatial Reasoning

Pub. date: September 2008
Author: Dylla, F.
Volume: 320
Price: US$75 / €50
ISBN: 978-1-58603-914-1
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

A considerable part of everyday human interaction is guided by regulations and constraints, for exam…

WASABI: Affect Simulation for Agents with Believable Interactivity

Pub. date: October 2008
Author: Becker-Asano, C.
Volume: 319
Price: US$75 / €50
ISBN: 978-1-58603-911-0
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

This publication presents the WASABI architecture (WASABI Affect Simulation for Agents with Believab…

Trust-based Recommendations in Multi-layer Networks

Pub. date: July 2008
Author: Heß, C.
Volume: 316
Price: US$70 / €50
ISBN: 978-1-58603-854-0
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

The huge interest in social networking applications – Friendster.com, for example, has more than 4…

Context-Specific Route Directions: Generation of Cognitively Motivated Wayfinding Instructions

Pub. date: April 2008
Editor: Richter, K.-F.
Volume: 314
Price: US$84 / €60
ISBN: 978-1-58603-852-6
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

Route directions assist people in unfamiliar environments. In order to be useful, these route direct…

Image Digitization and its Influence on Shape Properties in Finite Dimensions

Pub. date: March 2008
Author: Stelldinger, P.
Volume: 312
Price: US$70 / €50
ISBN: 978-1-58603-838-0
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

This work addresses the problem of shape preserving digitization in finite dimensional spaces. The b…

Writer Identification and Verification

Pub. date: February 2008
Author: Schlapbach, A.
Volume: 311
Price: US$70 / €50
ISBN: 978-1-58603-825-0
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

Writer identification and verification have gained increased interest recently, especially in the fi…

Temporal Pattern Mining in Dynamic Environments

Pub. date: October 2007
Author: Lattner, A.D.
Volume: 309
Price: US$65 / €50
ISBN: 978-1-58603-783-3
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

Many domains feature a dynamic characteristic like logistics, sports, or medicine and it would be us…

The Structurally Optimal Dual Graph Pyramid and its Application in Image Partitioning

Pub. date: May 2007
Author: Haxhimusa, Y.
Volume: 308
Price: US$80 / €55
ISBN: 978-1-58603-743-7
Subject: Artificial Intelligence, Computer Science, Mathematics

A widely used hierarchical representation in many areas of computer vision and pattern recognition i…

Knowledge-Intensive Subgroup Mining

Pub. date: March 2007
Author: Atzmüller, M.
Volume: 307
Price: US$80 / €55
ISBN: 978-1-58603-726-0
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

Subgroup mining is a powerful and broadly applicable data mining approach: In general, the goal is t…

Multimodal Interaction with Mobile Devices: Fusing a Broad Spectrum of Modality Combinations

Pub. date: December 2006
Author: Wasinger, R.
Volume: 305
Price: US$80 / €55
ISBN: 978-1-58603-712-3
Subject: Artificial Intelligence, Computer & Communication Sciences

This publication presents a multimodal architecture for use in mobile scenarios such as shopping and…

Controlling Physical Multiagent Teams: Getting League-Independent Results from RoboCup Soccer

Pub. date: February 2007
Author: Obst, O.
Volume: 304
Price: US$80 / €55
ISBN: 978-1-58603-705-5
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

During the last years, Robotic Soccer has become one of the most challenging research fields for mul…

Enhancing Similarity Measures with Imperfect Rule-Based Background Knowledge

Pub. date: January 2007
Author: Steffens, T.
Volume: 302
Price: US$80 / €55
ISBN: 978-1-58603-693-5
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

Similarity measures are the core of such diverse techniques as similarity-based classification, clus…

Migrating Characters: Effective User Guidance in Instrumented Environments

Pub. date: January 2007
Author: Kruppa, M.
Volume: 301
Price: US$80 / €55
ISBN: 978-1-58603-667-6
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

This book deals with the conceptual design as well as with the realization of virtual characters, wh…

Off-line Cursive Handwriting Recognition Using Synthetic Training Data

Pub. date: July 2006
Author: Varga, T.
Volume: 300
Price: US$64 / €44
ISBN: 978-1-58603-636-2
Subject: Artificial Intelligence, Computer & Communication Sciences

The problem of automatic recognition of scanned handwritten documents is of great significance in nu…

3D Parametric Intensity Models for the Localization of 3D Anatomical Point Landmarks and 3D Segmentation of Human Vessels

Pub. date: October 2006
Author: Wörz, S.
Volume: 299
Price: US$87 / €60
ISBN: 978-1-58603-635-5
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

This publication addresses two important problems in the field of 3D medical image analysis, namely …

Ubiquitous User Modeling

Pub. date: October 2006
Author: Heckmann, D.
Volume: 297
Price: US$80 / €55
ISBN: 978-1-58603-608-9
Subject: Artificial Intelligence, Computer & Communication Sciences

More and more interactions take place between humans and mobile or connected IT-systems in daily lif…

Stochastic Local Search Algorithms for Multiobjective Combinatorial Optimization: Methods and Analysis

Pub. date: February 2006
Author: Paquete, L.F.
Volume: 295
Price: US$87 / €60
ISBN: 978-1-58603-596-9
Subject: Artificial Intelligence, Computer & Communication Sciences

Multiobjective Combinatorial Optimization Problems (MCOPs) arise in many real-life applications and …

Understanding Coverbal Ionic Gestures in Shape Descriptions

Pub. date: February 2006
Author: Sowa, T.
Volume: 294
Price: US$87 / €60
ISBN: 978-1-58603-566-2
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

Gestures are a powerful communication medium which have also been found to make human-machine commun…

Graph Matching

Pub. date: September 2005
Author: Irniger, C.-A. M.
Volume: 293
Price: US$80 / €55
ISBN: 978-1-58603-557-0
Subject: Artificial Intelligence, Computer & Communication Sciences

Graphs are a powerful concept useful for various tasks in science and engineering. In applications s…

The Problem of Tuning Metaheuristics

Pub. date: August 2005
Author: Birattari, M.
Volume: 292
Price: US$87 / €60
ISBN: 978-1-58603-551-8
Subject: Artificial Intelligence, Computer & Communication Sciences

A metaheuristic is a generic algorithmic template that can be used for finding high quality solution…

Decision-Theoretic Planning for User-Adaptive Systems: Dealing With Multiple Goals and Resource Limitations

Pub. date: March 2005
Author: Bohnenberger, T.
Volume: 289
Price: US$74 / €51
ISBN: 978-1-58603-506-8
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

While there are a number of user-adaptive systems that use decision-theoretic methods to make indivi…

Reducing Planning Problems by Path Reduction

Pub. date: September 2004
Author: Scholz, U.
Volume: 285
Price: US$54 / €37
ISBN: 978-1-58603-464-1
Subject: Artificial Intelligence, Computer & Communication Sciences

Planning is among the characteristic features of intelligence and therefore it is a central research…

Agile Development of Diagnostic Knowledge Systems

Pub. date: October 2004
Author: Baumeister, J.
Volume: 284
Price: US$64 / €44
ISBN: 978-1-58603-463-4
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

The success of diagnostic knowledge systems has been proved over the last decades. Nowadays, intelli…

Theoretical and Practical Aspects of Ant Colony Optimization

Pub. date: July 2004
Author: Blum, C.
Volume: 282
Price: US$74 / €51
ISBN: 978-1-58603-433-7
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

Combinatorial optimization problems are of high academical and practical importance. Unfortunately, …

Specification, Modelling, Verification and Runtime Analysis of Real Time Systems

Pub. date: April 2004
Author: Logothetis, G.
Volume: 280
Price: US$64 / €44
ISBN: 978-1-58603-413-9
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

This book focuses on the use of formal methods in order to guarantee the correctness of real-time sy…

Uniform Learning of Recursive Functions

Pub. date: December 2003
Author: Zilles, S.
Volume: 278
Price: US$64 / €44
ISBN: 978-1-58603-406-1
Subject: Artificial Intelligence, Computer & Communication Sciences

User Modeling Servers – Requirements, Design, and Evaluation

Pub. date: April 2004
Author: Fink, J.
Volume: 277
Price: US$64 / €44
ISBN: 978-1-58603-405-4
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

This publication analyses the requirements that user modeling servers must meet to be acceptable bot…

Situated Interaction on Spatial Topics

Pub. date: November 2003
Author: Kray, C.
Volume: 274
Price: US$64 / €44
ISBN: 978-1-58603-391-0
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

Location-based services (LBS) and mobile systems are two key areas of research into making informati…

Discrete Scale-Space Formulation and Multiscale Edge Extraction toward Higher Dimensions

Pub. date: September 2003
Author: Lim, J-Y
Volume: 272
Price: US$58 / €40
ISBN: 978-1-58603-383-5
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

This publication addresses the problem of a discrete scale-space formulation in the context of multi…

A Framework for Planning with Incrementally Created Graphs in Attributed Problem Spaces

Pub. date: July 2003
Author: Balakirsky, S.
Volume: 270
Price: US$67 / €46
ISBN: 978-1-58603-370-5
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

In this publication, a framework for parallel planning agents is developed and applied to planning p…

Integrated Natural Language Generation with Schema-TAGs

Pub. date: May 2003
Author: Woch, J.
Volume: 264
Price: US$62 / €43
ISBN: 978-1-58603-354-5
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

Integrated natural language generation is an approach to circumvent the problem of communication bet…

Knowledge Maintenance of Case-Based Reasoning Systems

Pub. date: March 2003
Author: Roth-Berghofer, Th.R.
Volume: 262
Price: US$62 / €43
ISBN: 978-1-58603-339-2
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

For all technical systems that are widely used, maintenance processes are available. Now that Case-B…

On Modeling the Spatiotemporal Processing Characteristics of the Retina: What is the Retina for?

Pub. date: March 2002
Editor: Wulf, M.
Volume: 254
Price: US$43 / €39
ISBN: 978-1-58603-241-8
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

This book addresses the yet unanswered question of the retina's net functionality. Focussing on the …

Local and Semi-Global Approaches to the Extraction of 3D Anatomical Landmarks from 3D Tomographic Images

Pub. date: January 2001
Author: Frantz, S.
Volume: 253
Price: US$37 / €33
ISBN: 978-1-58603-213-5
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

This work addresses the problem of extracting 3D anatomical point landmarks from 3D tomographic imag…

Process-oriented Consistency-based Diagnosis

Pub. date: January 2001
Author: Heller, U.
Volume: 252
Price: US$31 / €28
ISBN: 978-1-58603-212-8
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

The existing theory of consistency-based diagnosis and its implementations have proven successful in…

Adaptive Layout of Dynamic Web Pages

Pub. date: January 2001
Editor: Kröner, A.
Volume: 248
Price: US$40 / €36
ISBN: 978-1-58603-189-3
Subject: Computer & Communication Sciences

In this work architecture for the automated creation of Web page layout is proposed. Based on a sepa…

Action Based Collaboration Analysis for Group Learning

Pub. date: January 2001
Editor: Mühlenbrock, M.
Volume: 244
Price: US$37 / €33
ISBN: 978-1-58603-175-6
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

With networked computers, new ways of learning and working together with other people are possible. …

Proof Reconstruction in Classical and Non-classical Logics

Pub. date: January 2000
Editor: Schmitt, S.
Volume: 239
Price: US$42 / €38
ISBN: 978-1-58603-129-9
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

How can we support the development of reliable software by theorem proving techniques? How can we tu…

Tacti-Based Inductive Theorem Prover for data Types with Partial Operations

Pub. date: January 2000
Author: Külher, U.
Volume: 238
Price: US$36 / €31
ISBN: 978-1-58603-128-2
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

New Foundations for Automation of Default Reasoning

Pub. date: January 2000
Author: Linke, T.
Volume: 237
Price: US$33 / €27
ISBN: 978-1-58603-127-5
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

Case Retrieval Nets as a Model for Building Flexible Information Systems

Pub. date: January 2000
Editor: Lenz, M.
Volume: 236
Price: US$34 / €29
ISBN: 978-1-58603-126-8
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

On Types and Type Consistency in Logic Programming

Pub. date: January 2000
Author: Meyer, G.
Volume: 235
Price: US$33 / €27
ISBN: 978-1-58603-125-1
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

Cooperation in Heterogeneous Theorem Prover Networks

Pub. date: January 2000
Author: Fuchs, D.
Volume: 231
Price: US$36 / €31
ISBN: 978-1-58603-124-4
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

Learning Search Control Knowledge for Equational Deduction

Pub. date: January 2000
Editor: Schulz, S.
Volume: 230
Price: US$41 / €37
ISBN: 978-1-58603-150-3
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

Techniques for handling of the equality relation are essential for the successful application of the…

Relevancy based Use of Lemmas in Connection Tableau Calculi

Pub. date: January 2000
Author: Fuchs, M.
Volume: 227
Price: US$36 / €31
ISBN: 978-1-58603-123-7
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

Automated deduction is a fundamental research area in the field of artificial intelligence. The aim …

Analysis of Low-Resolutions Range Image Sequences

Pub. date: January 2000
Author: Sobottka, K.
Volume: 226
Price: US$42 / €38
ISBN: 978-1-58603-122-0
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

Error Estimation and Model Selection

Pub. date: January 1999
Author: Scheffer, T.
Volume: 225
Price: US$37 / €33
ISBN: 978-1-58603-121-3
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

A combined Parametric and Nonparametric Approach to Time Series Analysis

Pub. date: January 1999
Editor: Kriebel, S.K.T.
Volume: 222
Price: US$30 / €25
ISBN: 978-1-58603-120-6
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

The analysis and prediction of natural phenomena is an interesting and challenging task. Time series…

Local Search Algorithms for Combinatorial Problems - Analysis, Improvements and New Applications

Pub. date: January 1999
Author: Stützle, Th. G.
Volume: 220
Price: US$34 / €29
ISBN: 978-1-58603-119-0
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

Many problems of enormous practical and theoretical importance are of combinatorial nature. Combinat…

Stochastic Algorithms in Scheduling Theory

Pub. date: January 1999
Author: Steinhöfel, K.
Volume: 218
Price: US$30 / €25
ISBN: 978-1-58603-118-3
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

Connection Tableau Calculi with Disjunctive Contraints

Pub. date: January 1999
Author: Ibens, O.
Volume: 217
Price: US$34 / €29
ISBN: 978-1-58603-117-6
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

Automated deduction is one of the fundamental disciplines in the field of artificial intelligence. T…

Stochastic Local Search - Methods, Models, Applications

Pub. date: January 1999
Editor: Hoos, H.H.
Volume: 215
Price: US$34 / €29
ISBN: 978-1-58603-116-9
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

To date, stochastic local search (SLS) algorithms are among the standard methods for solving hard co…

Knowledge Management for Intelligent Sales Support in Electronic Commerce

Pub. date: January 1999
Author: Wilke, W.
Volume: 213
Price: US$34 / €29
ISBN: 978-1-58603-115-2
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

This thesis applies Knowledge-Based techniques to provide Intelligent Sales Support in Electronic Co…

Component-Based User Guidance in Knowledge Discovery and Data Mining

Pub. date: January 1999
Editor: Engels, R.
Volume: 211
Price: US$36 / €31
ISBN: 978-1-58603-114-5
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

Knowledge Discovery and Data Mining (KDD) is a relatively young field of research with a rapidly inc…

Automatic Termination Analysis for Functional and Imperative Programs

Pub. date: January 1999
Author: Brauburger, J.
Volume: 207
Price: US$36 / €31
ISBN: 978-1-58603-113-8
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

Verifying the termination of algorithms is a central problem in computer science. In this thesis we …

A Connectionist Approach for Learning Search-Control Heuristics for Automated Deduction Systems

Pub. date: January 1999
Author: Goller, C.
Volume: 206
Price: US$30 / €25
ISBN: 978-1-58603-112-1
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

This Doctoral Thesis presents an approach for improving the search process of automated deduction sy…

Projection in Constraint Logic Programming

Pub. date: January 1999
Author: Fordan, A.
Volume: 199
Price: US$37 / €33
ISBN: 978-1-58603-111-4
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

Projection is the elimination of dead variables in constraint systems, preserving equivalence. In CL…

Representation and Processing of Knowledge about Distances in Environmental Space.

Pub. date: January 1999
Author: Berendt, B.
Volume: 197
Price: US$36 / €31
ISBN: 978-1-58603-110-7
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

Knowledge about distances---along with knowledge about spatial direction---is one of the most import…

Motion Planning for Manipulators with Many Dregrees of Freedom - The BB-Method

Pub. date: January 1999
Author: Baginski, B.
Volume: 195
Price: US$33 / €27
ISBN: 978-1-58603-109-1
Subject: Artificial Intelligence, Computer & Communication Sciences, Computer Science

The motions of robot manipulators in industrial applications are still programmed by human operators…

Dissertations in Artificial Intelligence

Contact