1341 search results - page 238 / 269 » Probabilistic Abstraction Hierarchies |
169
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Logics for security protocol analysis require the formalization of an adversary model that specifies the capabilities of adversaries. A common model is the Dolev-Yao model, which c...
169
click to vote
JCB
2008
15 years 6 months ago
2008
Abstract. RNA shapes, introduced by Giegerich et al. (17), provide a useful classification of the branching complexity for RNA secondary structures. In this paper, we derive an exa...
180
click to vote
PAA
2008
15 years 6 months ago
2008
Abstract We introduce a system that processes a sequence of images of a front-facing human face and recognises a set of facial expressions. We use an efficient appearance-based fac...
193
click to vote
MVA
2006
15 years 6 months ago
2006
Abstract This paper presents an approach to designing and implementing extensible computational models for perceiving systems based on a knowledge-driven joint inference approach. ...
137
click to vote
SIAMAM
2008
15 years 6 months ago
2008
Abstract. We develop a partial equilibrium model to investigate the problem of optimal liquidation over a finite or infinite time horizon for an investor with large holdings in a r...