10916 search results - page 1989 / 2184 » On Constructive Connectives and Systems |
290
click to vote
IHI
2012
14 years 2 months ago
2012
Consumer health information is increasingly available online, but this vast amount of information is not necessarily accessible to general consumers. To design effective health in...
201
click to vote
PAMI
2012
13 years 9 months ago
2012
—Model updating is a critical problem in tracking. Inaccurate extraction of the foreground and background information in model adaptation would cause the model to drift and degra...
212
click to vote
LICS
2012
IEEE
13 years 9 months ago
2012
IEEE
—This paper introduces HOpiPn, the higher-order pi-calculus with passivation and name creation, and develops an equivalence theory for this calculus. Passivation [Schmitt and Ste...
193
click to vote
EUROCRYPT
2012
Springer
13 years 9 months ago
2012
Springer
This paper proposes the first inner product encryption (IPE) scheme that is adaptively secure and fully attribute-hiding (attribute-hiding in the sense of the definition by Katz...
231
click to vote
TOCL
2012
13 years 9 months ago
2012
racting these leads us to introduce the notion of a path object category. This is a relatively simple axiomatic framework, which is nonetheless sufficiently strong to allow the con...