Sciweavers

738 search results - page 115 / 148
» cases 2001
Sort
View
IFL
2001
Springer
142views Formal Methods» more  IFL 2001»
14 years 2 months ago
A Compilation Scheme for a Hierarchy of Array Types
In order to achieve a high level of abstraction, array-oriented languages provide language constructs for defining array operations in a shape-invariant way. However, when trying ...
Dietmar Kreye
IFL
2001
Springer
137views Formal Methods» more  IFL 2001»
14 years 2 months ago
A Generic Programming Extension for Clean
Abstract. Generic programming enables the programmer to define functions by induction on the structure of types. Defined once, such a generic function can be used to generate a s...
Artem Alimarine, Marinus J. Plasmeijer
INCDM
2001
Springer
109views Data Mining» more  INCDM 2001»
14 years 2 months ago
Experience Management: The Fraunhofer IESE Experience Factory
: Experience Management (EM) is an area that is increasingly gaining importance. Its roots lie in Experimental Software Engineering ("Experience Factory"), in Artificial ...
Klaus-Dieter Althoff, Björn Decker, Susanne H...
ISAAC
2001
Springer
123views Algorithms» more  ISAAC 2001»
14 years 2 months ago
Labeling Subway Lines
Abstract. Graphical features on map, charts, diagrams and graph drawings usually must be annotated with text labels in order to convey their meaning. In this paper we focus on a pr...
Maria Angeles Garrido, Claudia Iturriaga, Alberto ...
ISRR
2001
Springer
106views Robotics» more  ISRR 2001»
14 years 2 months ago
Vision-based Navigation, Environmental Representations and Imaging Geometries
We discuss the role of spatial representations and visual geometries in vision-based navigation. To a large extent, these choices determine the complexity and robustness of a given...
José Santos-Victor, Alexandre Bernardino