2533 search results - page 455 / 507 » Supporting Generalized Context Interactions |
118
click to vote
ATAL
2011
Springer
14 years 1 months ago
2011
Springer
Proper scoring rules, particularly when used as the basis for a prediction market, are powerful tools for eliciting and aggregating beliefs about events such as the likely outcome...
138
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
136
click to vote
SIGCSE
2012
ACM
13 years 9 months ago
2012
ACM
The computing landscape is shifting towards mobile devices. To learn about operating systems, it is increasingly important for students to gain hands-on kernel programming experie...
115
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
A dynamic model of a multiagent system defines a probability distribution over possible system behaviors over time. Alternative representations for such models present tradeoffs i...
110
click to vote
BMCBI
2010
14 years 8 months ago
2010
Background: Ribonuclease P is an ancient endonuclease that cleaves precursor tRNA and generally consists of a catalytic RNA subunit (RPR) and one or more proteins (RPPs). It repre...