1280 search results - page 83 / 256 » Soft Typing with Conditional Types |
CSL
2001
Springer
14 years 1 months ago
2001
Springer
We reveal a symmetric structure in the ho/n games model of innocent strategies, introducing rigid strategies, a concept dual to bracketed strategies. We prove a direct definabilit...
ICANN
2001
Springer
14 years 1 months ago
2001
Springer
We introduce a simple asset pricing model with two types of adaptively learning traders, fundamentalists and technical traders. Traders update their beliefs according to past perfo...
ISIPTA
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper reviews algorithms for local computation with imprecise probabilities. These algorithms try to solve problems of inference calculation of conditional or unconditional p...
IPMU
1994
Springer
14 years 1 months ago
1994
Springer
Bayes nets are seeing increasing use in expert systems [2, 6], and structural equations models continue to be popular in many branches of the social sciences [1]. Both types of mod...
CONEXT
2007
ACM
14 years 1 months ago
2007
ACM
We present TFWC, a TCP-friendly window-based congestion control mechanism for real-time multimedia streaming applications. Although TFRC is regarded as a de facto standard for tho...