Sciweavers

137 search results - page 7 / 28
» A tutorial on conformal prediction
Sort
View
CSFW
2007
IEEE
15 years 2 months ago
A Type Discipline for Authorization in Distributed Systems
We consider the problem of statically verifying the conformance of the code of a system to an explicit authorization policy. In a distributed setting, some part of the system may ...
Cédric Fournet, Andy Gordon, Sergio Maffeis
BIB
2007
82views more  BIB 2007»
14 years 10 months ago
High-throughput modeling and analysis of protein structural dynamics
Protein function is a dynamic property closely related to the conformational mechanisms of protein structure in its physiological environment. To understand and control the functi...
Xiong Liu, Hassan A. Karimi
GTTSE
2007
Springer
15 years 4 months ago
Design Space of Heterogeneous Synchronization
Abstract. This tutorial explores the design space of heterogeneous synchronization, which is concerned with establishing consistency among artifacts that conform to different sche...
Michal Antkiewicz, Krzysztof Czarnecki
WSDM
2012
ACM
295views Data Mining» more  WSDM 2012»
13 years 5 months ago
A straw shows which way the wind blows: ranking potentially popular items from early votes
Prediction of popular items in online content sharing systems has recently attracted a lot of attention due to the tremendous need of users and its commercial values. Different fr...
Peifeng Yin, Ping Luo, Min Wang, Wang-Chien Lee
AIED
2005
Springer
15 years 3 months ago
Cross-Cultural Evaluation of Politeness in Tactics for Pedagogical Agents
Politeness may play a role in tutorial interaction, including promoting learner motivation and avoiding negative affect. Politeness theory can account for this as a means of mitiga...
W. Lewis Johnson, Richard E. Mayer, Elisabeth Andr...