2373 search results - page 255 / 475 » On the Theory of Structural Subtyping |
192
click to vote
EMSOFT
2004
Springer
16 years 2 days ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
172
click to vote
MMB
2004
Springer
16 years 1 days ago
2004
Springer
A sensitivity analysis of a single-server, infinite-buffer queue with correlated arrivals and correlated service times is performed. We study and compare the isolated impact of (...
214
click to vote
HT
2003
ACM
15 years 12 months ago
2003
ACM
This paper describes a generic hypermedia model that is used as a framework for building context aware and mixed reality applications. It can handle different media elements, and ...
170
click to vote
IUI
2003
ACM
15 years 12 months ago
2003
ACM
We present a probabilistic model, based on Dynamic Decision Networks, to assess user affect from possible causes of emotional arousal. The model relies on the OCC cognitive theory...
208
click to vote
SIGECOM
2003
ACM
15 years 12 months ago
2003
ACM
We examine correlated equilibria in the recently introduced formalism of graphical games, a succinct representation for multiplayer games. We establish a natural and powerful rela...