2060 search results - page 148 / 412 » The Composition of Event-B Models |
107
click to vote
WSC
2008
15 years 6 months ago
2008
We consider the ranking and selection of normal means in a fully sequential Bayesian context. By considering the sampling and stopping problems jointly rather than separately, we ...
172
click to vote
ASIACRYPT
2011
Springer
14 years 4 months ago
2011
Springer
Differential Privacy (DP) has emerged as a formal, flexible framework for privacy protection, with a guarantee that is agnostic to auxiliary information and that admits simple ru...
142
click to vote
AOSD
2012
ACM
14 years 7 days ago
2012
ACM
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...
165
click to vote
CVPR
2012
IEEE
13 years 7 months ago
2012
IEEE
Modeling objects using formal grammars has recently regained much attention in computer vision. Probabilistic logic programming, such as Bilattice based Logical Reasoning (BLR), i...
180
click to vote
CCE
2005
15 years 4 months ago
2005
This paper presents a comprehensive formulation of a linearized state space process model for a generic two-reactant-two-product reactive distillation system. The development of t...