Sciweavers

3281 search results - page 430 / 657
» An Approach to use Executable Models for Testing
Sort
View
178
Voted
MICRO
2002
IEEE
164views Hardware» more  MICRO 2002»
15 years 10 months ago
A quantitative framework for automated pre-execution thread selection
Pre-execution attacks cache misses for which conventional address-prediction driven prefetching is ineffective. In pre-execution, copies of cache miss computations are isolated fr...
Amir Roth, Gurindar S. Sohi
CRYPTO
2011
Springer
180views Cryptology» more  CRYPTO 2011»
14 years 4 months ago
Leakage-Resilient Zero Knowledge
In this paper, we initiate a study of zero knowledge proof systems in the presence of sidechannel attacks. Specifically, we consider a setting where a cheating verifier is allow...
Sanjam Garg, Abhishek Jain 0002, Amit Sahai
CORR
2006
Springer
153views Education» more  CORR 2006»
15 years 5 months ago
Genetic Programming, Validation Sets, and Parsimony Pressure
Fitness functions based on test cases are very common in Genetic Programming (GP). This process can be assimilated to a learning task, with the inference of models from a limited n...
Christian Gagné, Marc Schoenauer, Marc Pari...
149
Voted
ECCV
2008
Springer
16 years 7 months ago
Structuring Visual Words in 3D for Arbitrary-View Object Localization
Abstract. We propose a novel and efficient method for generic arbitraryview object class detection and localization. In contrast to existing singleview and multi-view methods using...
Jianxiong Xiao, Jingni Chen, Dit-Yan Yeung, Long Q...
163
Voted
IJCNLP
2004
Springer
15 years 10 months ago
Window-Based Method for Information Retrieval
In this paper, a series of window-based methods is proposed for information retrieval. Compared with traditional tf-idf model, our approaches are based on two new key notions. The ...
Qianli Jin, Jun Zhao, Bo Xu