5138 search results - page 880 / 1028 » Randomized Algorithms for 3-SAT |
147
click to vote
MFCS
2007
Springer
16 years 15 days ago
2007
Springer
A framework for analyzing the computational capabilities and the limitations of the evolutionary process of random change guided by selection was recently introduced by Valiant [V...
159
click to vote
SACRYPT
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Side-channel collision attacks were proposed in [1] and applied to AES in [2]. These are based on detecting collisions in certain positions of the internal state after th...
155
click to vote
HICSS
2006
IEEE
16 years 13 days ago
2006
IEEE
An online software agent that helps smokers quit was designed and tested. We created a library of categorized smoking cessation messages using meta-data corresponding to the Stage...
160
click to vote
ICPP
2006
IEEE
16 years 12 days ago
2006
IEEE
Text Mining is one of the best solutions for today and the future’s information explosion. With the development of modern processor technologies, it will be a mass market deskto...
150
click to vote
ISQED
2006
IEEE
16 years 12 days ago
2006
IEEE
Process variation has become a major concern in the design of many nanometer circuits, including interconnect pipelines. This paper develops closed-form models to predict the dela...