9316 search results - page 1730 / 1864 » Analysis of traceback techniques |
144
click to vote
SAT
2010
Springer
15 years 2 months ago
2010
Springer
This paper presents a detailed empirical study of local search for Boolean satisfiability (SAT), highlighting several interesting properties, some of which were previously unknown...
137
click to vote
TVCG
2010
15 years 2 months ago
2010
— While a number of information visualization software frameworks exist, creating new visualizations, especially those that involve novel visualization metaphors, interaction tec...
120
click to vote
ASIACRYPT
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. AES is the most widely used block cipher today, and its security is one of the most important issues in cryptanalysis. After 13 years of analysis, related-key attacks wer...
127
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Determinant Quantum Monte Carlo (DQMC) simulation has been widely used to reveal macroscopic properties of strong correlated materials. However, parallelization of the DQ...
127
click to vote
JMLR
2011
14 years 11 months ago
2011
Reports of experiments conducted with an Inductive Logic Programming system rarely describe how specific values of parameters of the system are arrived at when constructing model...