Sciweavers

1213 search results - page 118 / 243
» Traceability for System Families
Sort
View
ADAEUROPE
2005
Springer
15 years 6 months ago
A Reference Control Architecture for Service Robots Implemented on a Climbing Vehicle
Teleoperated robots are used to perform hazardous tasks that human operators cannot carry out. The purpose of this paper is to present a new architecture (ACROSET) for the developm...
Francisco J. Ortiz, Diego Alonso, Bárbara &...
116
Voted
ICCS
2005
Springer
15 years 6 months ago
Applications of Description Logics: State of the Art and Research Challenges
Abstract. Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from si...
Ian Horrocks
82
Voted
ICRA
2003
IEEE
98views Robotics» more  ICRA 2003»
15 years 6 months ago
Towards a Factored Analysis of Legged Locomotion Models
In this paper, we report on a new stability analysis for hybrid legged locomotion systems based on factorization of return maps. We apply this analysis to a family of models of th...
Richard Altendorfer, Daniel E. Koditschek, Philip ...
BIRTHDAY
1999
Springer
15 years 5 months ago
An Insertion into the Chomsky Hierarchy?
This review paper will report on some recent discoveries in the area of Formal Languages, chie y by F. Otto, G. Buntrock and G. Niemann. These discoveries have pointed out certain ...
Robert McNaughton
ESEC
1999
Springer
15 years 5 months ago
Components and Generative Programming
This paper is about a paradigm shift from the current practice of manually searching for and adapting components and their manual assembly to Generative Programming, which is the a...
Krzysztof Czarnecki, Ulrich W. Eisenecker