搜索结果: 1-5 共查到“计算机科学技术 Compact”相关记录5条 . 查询时间(0.085 秒)
Precise and Compact Modular Procedure Summaries for Heap Manipulating Programs
Languages Verification Experimentation
2016/5/24
We present a strictly bottom-up, summary-based, and precise heap analysis targeted for program verification that performs strong updates to heap locations at call sites. We first present a theory of h...
Learning Compact Face Representation: Packing a Face into an int32
face recognition face search deep learning
2016/1/22
This paper addresses the problem of producing very compact representation of a face image for large-scale face search and analysis tasks. In tradition, the compactness of face rep-resentation is achie...
Fully Key-Homomorphic Encryption, Arithmetic Circuit ABE, and Compact Garbled Circuits
Arithmetic Circuit ABE Compact Garbled Circuits
2015/8/5
We construct the rst (key-policy) attribute-based encryption (ABE) system with short
secret keys: the size of keys in our system depends only on the depth of the policy circuit,
not its size. Our c...
A Compact Forest for Scalable Inference over Entailment and Paraphrase Rules
Compact Forest Scalable Inference over Entailment Paraphrase Rules
2013/4/22
A large body of recent research has been investigating the acquisition and application of applied inference knowledge. Such knowledge may be typically captured as entailment rules, applied over syntac...
CELLULAR AUTOMATA CODEBOOKS APPLIED TO COMPACT IMAGE COMPRESSION
cellular automata emergent computation image compression
2010/1/12
Emergent computation in semi-totalistic cellular automata (CA) is used to generate a set of basis (or codebook). Such codebooks are convenient for simple and circuit efficient compression schemes base...