Sciweavers

131 search results - page 14 / 27
» On the Observable Behaviour of Composite Components
Sort
View
CHI
2007
ACM
14 years 8 months ago
Computational composites
A computational composite is a material in which computations contribute to the properties of the material through their capability to control transitions between states in the oth...
Anna Vallgårda, Johan Redström
QEST
2010
IEEE
13 years 5 months ago
Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware Designs
Adaptive techniques like voltage and frequency scaling, process variations and the randomness of input data contribute signi cantly to the statistical aspect of contemporary hardwa...
Jayanand Asok Kumar, Shobha Vasudevan
ECSQARU
2009
Springer
14 years 2 months ago
The Probabilistic Interpretation of Model-Based Diagnosis
Model-based diagnosis is the field of research concerned with the problem of finding faults ms by reasoning with abstract models of the systems. Typically, such models offer a ...
Ildikó Flesch, Peter J. F. Lucas
JLP
2007
74views more  JLP 2007»
13 years 7 months ago
Linearity and bisimulation
Exploiting linear type structure, we introduce a new theory bisimilarity for the π-calculus in which we abstract away not only τ-actions but also non-τ actions which do not aff...
Nobuko Yoshida, Kohei Honda, Martin Berger
ROBIO
2006
IEEE
129views Robotics» more  ROBIO 2006»
14 years 1 months ago
Learning Utility Surfaces for Movement Selection
— Humanoid robots are highly redundant systems with respect to the tasks they are asked to perform. This redundancy manifests itself in the number of degrees of freedom of the ro...
Matthew Howard, Michael Gienger, Christian Goerick...