Sciweavers

5777 search results - page 406 / 1156
» The palladio component model
Sort
View
FGR
2000
IEEE
175views Biometrics» more  FGR 2000»
16 years 4 days ago
A Framework for Modeling the Appearance of 3D Articulated Figures
This paper describes a framework for constructing a linear subspace model of image appearance for complex articulated 3D figures such as humans and other animals. A commercial mo...
Hedvig Sidenbladh, Fernando De la Torre, Michael J...
ICRA
2000
IEEE
123views Robotics» more  ICRA 2000»
16 years 3 days ago
Design, Modeling and Preliminary Control of a Compliant Hexapod Robot
In this paper, we present the design, modeling and preliminary control of RHex, an autonomous dynamically stable hexapod possessing merely six actuated degrees of freedom (at the ...
Uluc Saranli, Martin Buehler, Daniel E. Koditschek
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
16 years 1 days ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...
DEXAW
1999
IEEE
124views Database» more  DEXAW 1999»
16 years 1 days ago
A Web-Based Evolutionary Model for Internet Data Caching
Caching is a standard solution to the problem of insufcient bandwidth caused by the rapid increase of information circulation across the Internet. Cache consistency mechanisms are...
Athena Vakali
PRDC
1999
IEEE
15 years 12 months ago
An Architecture-Based Software Reliability Model
In this paper we present an analytical model for estimating architecture-based software reliability, according to the reliability of each component, the operational profile, and t...
Wen-Li Wang, Ye Wu, Mei-Hwa Chen