Sciweavers

CORR
2002
Springer
95views Education» more  CORR 2002»
13 years 3 months ago
Qualitative Visualization of Distance Information
Different types of two- and three-dimensional representations of a finite metric space are studied that focus on the accurate representation of the linear order among the distance...
Jobst Heitzig
CORR
2002
Springer
76views Education» more  CORR 2002»
13 years 3 months ago
Topological robotics: motion planning in projective spaces
Michael Farber, Serge Tabachnikov, Sergey Yuzvinsk...
CORR
2002
Springer
81views Education» more  CORR 2002»
13 years 3 months ago
Value withdrawal explanations: a theoretical tool for programming environments
Abstract. Constraint logic programming combines declarativity and efficiency thanks to constraint solvers implemented for specific domains. Value withdrawal explanations have been ...
Willy Lesaint
CORR
2002
Springer
133views Education» more  CORR 2002»
13 years 3 months ago
Declarative program development in Prolog with GUPU
Abstract. We present GUPU, a side-effect free environment specialized for programming courses. It seamlessly guides and supports students during all phases of program development, ...
Ulrich Neumerkel, Stefan Kral
CORR
2002
Springer
101views Education» more  CORR 2002»
13 years 3 months ago
Semantic Component Composition
Building complex software systems necessitates the use of component-based architectures. In theory, of the set of components needed for a design, only some small portion of them ar...
Joseph Kiniry
CORR
2002
Springer
118views Education» more  CORR 2002»
13 years 3 months ago
Instabilities of Robot Motion
Instabilities of robot motion are caused by topological reasons. In this paper we find a relation between the topological properties of a configuration space (the structure of its...
Michael Farber
CORR
2002
Springer
113views Education» more  CORR 2002»
13 years 3 months ago
Robust Global Localization Using Clustered Particle Filtering
Global mobile robot localization is the problem of determining a robot's pose in an environment, using sensor data, when the starting position is unknown. A family of probabi...
Javier Nicolás Sánchez, Adam Milstei...
CORR
2002
Springer
131views Education» more  CORR 2002»
13 years 3 months ago
Ownership Confinement Ensures Representation Independence for Object-Oriented Programs
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
Anindya Banerjee, David A. Naumann
CORR
2002
Springer
114views Education» more  CORR 2002»
13 years 3 months ago
Offline Specialisation in Prolog Using a Hand-Written Compiler Generator
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalu...
Michael Leuschel, Jesper Jørgensen, Wim Van...