1650 search results - page 9 / 330 » Information Modeling and Higher-order Types |
ECAI
2010
Springer
13 years 7 months ago
2010
Springer
We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}] expressing that the coalition of all agents satisfying (x) can ac...
SMI
2003
IEEE
14 years 20 days ago
2003
IEEE
A lot of techniques have been developed for the encoding of triangular meshes as this is a widely used representation for the description of surface models. Although methods for t...
ICPR
2008
IEEE
14 years 8 months ago
2008
IEEE
We present the Higher Order Proxy Neighborhoods (HOPS) approach to modeling higher order neighborhoods in Markov Random Fields (MRFs). HOPS incorporates more context information i...
CTRSA
2010
Springer
14 years 2 months ago
2010
Springer
Security devices are vulnerable to side-channel attacks that perform statistical analysis on data leaked from cryptographic computations. Higher-order (HO) attacks are a powerful a...
WSC
2004
13 years 8 months ago
2004
In this paper, we consider the relationship between risksensitivity and information. Product estimators are introduced as a generalization of Maximum A Posteriori Probability (MAP...