Sciweavers

3780 search results - page 603 / 756
» Structured Relation Discovery using Generative Models
Sort
View
ENTCS
2000
112views more  ENTCS 2000»
15 years 6 months ago
Typed Multiset Rewriting Specifications of Security Protocols
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
Iliano Cervesato
ESOP
2011
Springer
14 years 10 months ago
Measure Transformer Semantics for Bayesian Machine Learning
Abstract. The Bayesian approach to machine learning amounts to inferring posterior distributions of random variables from a probabilistic model of how the variables are related (th...
Johannes Borgström, Andrew D. Gordon, Michael...
BMCBI
2006
122views more  BMCBI 2006»
15 years 6 months ago
A domain-oriented approach to the reduction of combinatorial complexity in signal transduction networks
Background:Receptors and scaffold proteins possess a number of distinct domains and bind multiple partners. A common problem in modeling signaling systems arises from a combinator...
Holger Conzelmann, Julio Saez-Rodriguez, Thomas Sa...
CVPR
2009
IEEE
17 years 14 days ago
Learning Mixed Templates for Object Recognition
This article proposes a method for learning object templates composed of local sketches and local textures, and investigates the relative importance of the sketches and textures ...
Haifeng Gong, Song Chun Zhu, Ying Nian Wu, Zhangzh...
CHI
2010
ACM
16 years 1 months ago
Postcolonial computing: a lens on design and development
As our technologies travel to new cultural contexts and our designs and methods engage new constituencies, both our design and analytical practices face significant challenges. We...
Lilly Irani, Janet Vertesi, Paul Dourish, Kavita P...