41938 search results - page 8134 / 8388 » Complex Systems Modeling |
202
click to vote
ACL
2012
13 years 9 months ago
2012
Most information extraction (IE) systems identify facts that are explicitly stated in text. However, in natural language, some facts are implicit, and identifying them requires ā...
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 ļ¬rst inner product encryption (IPE) scheme that is adaptively secure and fully attribute-hiding (attribute-hiding in the sense of the deļ¬nition by Katz...
201
click to vote
ICFP
2012
ACM
13 years 9 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and veriļ¬cation of pure functional program...
178
click to vote
BIOINFORMATICS
2012
13 years 9 months ago
2012
Motivation: Next-generation sequencing methods are generating increasingly massive datasets, yet still do not fully capture genetic diversity in the richest environments. To under...