Sciweavers

875 search results - page 64 / 175
» Representing distributed systems using the Open Provenance M...
Sort
View
90
Voted
ICC
2007
IEEE
136views Communications» more  ICC 2007»
15 years 4 months ago
On the Approximation of the Linear Combination of Log-Normal RVs via Pearson Type IV Distribution: Application to UWB Performanc
— Approximating the sum of Log–Normal random variables (RVs) is a long–standing open issue, in the old and recent literature, and many approaches have been proposed to deal w...
Marco Di Renzo, Fabio Graziosi, Fortunato Santucci
ACMICEC
2007
ACM
127views ECommerce» more  ACMICEC 2007»
15 years 1 months ago
Symbolic model checking of institutions
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
Francesco Viganò, Marco Colombetti
ICTAI
2006
IEEE
15 years 3 months ago
A Junction Tree Propagation Algorithm for Bayesian Networks with Second-Order Uncertainties
Bayesian networks (BNs) have been widely used as a model for knowledge representation and probabilistic inferences. However, the single probability representation of conditional d...
Maurizio Borsotto, Weihong Zhang, Emir Kapanci, Av...
SIGGRAPH
2000
ACM
15 years 2 months ago
A fast relighting engine for interactive cinematic lighting design
We present new techniques for interactive cinematic lighting design of complex scenes that use procedural shaders. Deep-framebuffers are used to store the geometric and optical in...
Reid Gershbein, Pat Hanrahan
ICADL
2010
Springer
188views Education» more  ICADL 2010»
15 years 2 months ago
A Collaborative Scholarly Annotation System for Dynamic Web Documents - A Literary Case Study
This paper describes ongoing work within the Aus-e-Lit project at the University of Queensland to provide collaborative annotation tools for Australian Literary Scholars. It descri...
Anna Gerber, Andrew Hyland, Jane Hunter