253 search results - page 36 / 51 » Behavioural Types and Component Adaptation |
EPEW
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Restricting the power of the schedulers that resolve the nondeterminism in probabilistic concurrent systems has recently drawn the attention of the research community. Th...
MR
2006
13 years 8 months ago
2006
Power semiconductor devices under short-circuit are submitted to high current and high voltage simultaneously that induce high electrical and thermal stresses. Several types of ev...
ECEASST
2010
13 years 5 months ago
2010
Abstract: Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. Th...
ECCV
2004
Springer
14 years 10 months ago
2004
Springer
We present a vision based, adaptive, decision theoretic model of human facial displays in interactions. The model is a partially observable Markov decision process, or POMDP. A POM...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
We present an argument-based qualitative decision-making framework in which the social values promoted or demoted by alternative action-options are explicitly represented. We show...