Sciweavers

8132 search results - page 145 / 1627
» Dependability, Abstraction, and Programming
Sort
View
ICRA
2002
IEEE
113views Robotics» more  ICRA 2002»
15 years 11 months ago
Velocity-Dependent Dynamic Manipulability
Abstract—Measures of dynamic manipulability summarize a manipulator’s capacity to generate accelerations for arbitrary tasks, and such measures are useful tools for the design ...
Michael T. Rosenstein, Roderic A. Grupen
ECAI
1994
Springer
15 years 10 months ago
Operationalizing Conceptual Models Based on a Model of Dependencies
Abstract. In this paper we describe a framework for defining and operationalizing conceptual models of distributed knowledge-based systems which extends published approaches by the...
Frank Maurer, Jürgen Paulokat
SIAMSC
2010
231views more  SIAMSC 2010»
15 years 4 months ago
Optimal Control of Parameter-Dependent Convection-Diffusion Problems around Rigid Bodies
Abstract. This paper is concerned with optimal control problems of partial differential equations. In particular, parameterized convection-diffusion problems are considered, wher...
Timo Tonn, Karsten Urban, Stefan Volkwein
TR
2010
126views Hardware» more  TR 2010»
15 years 1 months ago
Approximating a Loading-Dependent Cascading Failure Model With a Branching Process
Abstract--We quantify the closeness of the approximation between two high-level probabilistic models of cascading failure. In one model called CASCADE, failing components successiv...
Janghoon Kim, Ian Dobson
INFORMATICALT
2007
127views more  INFORMATICALT 2007»
15 years 6 months ago
Composition of Loop Modules in the Structural Blanks Approach to Programming with Recurrences: A Task of Synthesis of Nested Loo
The paper presents, first, the Structural Blanks (SB) approach, then a method to compose loop programs. SB is an approach for expressing computations based on recurrence relations...
Vytautas Cyras