Sciweavers

1786 search results - page 30 / 358
» The Structure of Factor Oracles
Sort
View
93
Voted
BMCBI
2008
138views more  BMCBI 2008»
15 years 25 days ago
Application of nonnegative matrix factorization to improve profile-profile alignment features for fold recognition and remote ho
Background: Nonnegative matrix factorization (NMF) is a feature extraction method that has the property of intuitive part-based representation of the original features. This uniqu...
Inkyung Jung, Jaehyung Lee, Soo-Young Lee, Dongsup...
168
Voted
POPL
2001
ACM
16 years 1 months ago
Oracle-based checking of untrusted software
We present a variant of Proof-Carrying Code (PCC) in which the trusted inference rules are represented as a higher-order logic program, the proof checker is replaced by a nondeter...
George C. Necula, Shree Prakash Rahul
98
Voted
INFOCOM
2009
IEEE
15 years 7 months ago
Spatial Distribution in Routing Table Design for Sensor Networks
—We propose a generic routing table design principle for scalable routing on networks with bounded geometric growth. Given an inaccurate distance oracle that estimates the graph ...
Rik Sarkar, Xianjin Zhu, Jie Gao
ASIACRYPT
2006
Springer
15 years 4 months ago
Simulation-Sound NIZK Proofs for a Practical Language and Constant Size Group Signatures
Non-interactive zero-knowledge proofs play an essential role in many cryptographic protocols. We suggest several NIZK proof systems based on prime order groups with a bilinear map...
Jens Groth
100
Voted
JDCTA
2010
122views more  JDCTA 2010»
14 years 7 months ago
The Financial Structure and High-Tech Industries Development in China
The transformation of economic development approach demands to develop high-tech industries, while high-tech industries can't develop without financial support, in which diff...
Liuyong Yang, Shensheng Mo, Anqi Zhou