Sciweavers

6141 search results - page 976 / 1229
» Models and representation of their ownership
Sort
View
EUROMICRO
1996
IEEE
15 years 11 months ago
Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
Jeroen Voeten, P. H. A. van der Putten, M. P. J. S...
COSIT
1997
Springer
114views GIS» more  COSIT 1997»
15 years 11 months ago
Feature Accumulation and Route Structuring in Distance Estimations - An Interdisciplinary Approach
It is well-known that route distance estimates are influenced by the structure of the route. In particular, the number of features along the route (e.g. landmarks) and the structu...
Bettina Berendt, Petra Jansen-Osmann
ISMIS
1997
Springer
15 years 10 months ago
Knowledge-Based Image Retrieval with Spatial and Temporal Constructs
e about image features can be expressed as a hierarchical structure called a Type Abstraction Hierarchy (TAH). TAHs can be generated automatically by clustering algorithms based on...
Wesley W. Chu, Alfonso F. Cardenas, Ricky K. Taira
ICRA
1993
IEEE
162views Robotics» more  ICRA 1993»
15 years 10 months ago
An Integrated Experience-Based Approach to Navigational Path Planning for Autonomous Mobile Robots
Navigationalpath planning is a classicalproblem in autonomous mobile robotics. Most AI approachesto path planning use goal-directedheuristicsearch of problem spaces defined by spa...
Ashok K. Goel, Michael W. Donnellan, Nancy Vazquez...
ICSE
1993
IEEE-ACM
15 years 10 months ago
Expressing the Relationships Between Multiple Views in Requirements Specification
Composite systems generally comprise heterogeneous components whose specifications are developed by many development participants. The requirements of such systems are invariably ...
Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein