27827 search results - page 532 / 5566 » Generating |
171
click to vote
CIKM
2010
Springer
15 years 3 months ago
2010
Springer
With the proliferation of online distribution methods for videos, content owners require easier and more effective methods for monetization through advertising. Matching advertis...
154
click to vote
GLOBECOM
2010
IEEE
15 years 3 months ago
2010
IEEE
Nowadays, the Quality of Service (QoS) in Optical Grids has become a key issue. An important QoS factor is the resiliency, namely the ability to survive from certain network failur...
182
click to vote
ICDM
2010
IEEE
15 years 3 months ago
2010
IEEE
: D-LDA: A Topic Modeling Approach without Constraint Generation for Semi-Defined Classification Fuzhen Zhuang, Ping Luo, Zhiyong Shen, Qing He, Yuhong Xiong, Zhongzhi Shi HP Labo...
159
click to vote
SAC
2010
ACM
15 years 2 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
297
click to vote
EUROPKI
2009
Springer
15 years 2 months ago
2009
Springer
Efficient zero-knowledge proofs of knowledge (ZK-PoK) are basic building blocks of many cryptographic applications such as identification schemes, group signatures, and secure mult...