113 search results - page 19 / 23 » Independence concepts in evidence theory |
POPL
1996
ACM
14 years 3 months ago
1996
ACM
Module systems are a powerful, practical tool for managing the complexity of large software systems. Previous attempts to formulate a type-theoretic foundation for modular program...
SIGCOMM
1994
ACM
14 years 3 months ago
1994
ACM
This paper discusses congestion control from a game-theoretic perspective. There are two basic premises: (1) users are assumed to be independent and sel sh, and (2) central admini...
ECTEL
2006
Springer
14 years 2 months ago
2006
Springer
Bayesian networks are commonly used in cognitive student modeling and assessment. They typically represent the item-concepts relationships, where items are observable responses to ...
ZUM
2000
Springer
14 years 2 months ago
2000
Springer
: Retrenchment is introduced as a liberalisation of refinement intended to address some of the shortcomings of refinement as sole means of progressing from simple abstract models t...
FLOPS
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. This article is a brief and subjective survey of quantum programming language research. 1 Quantum Computation Quantum computing is a relatively young subject. It has its ...