7991 search results - page 85 / 1599 » Using More Reasoning to Improve |
146
click to vote
EUROCRYPT
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. This paper describes new techniques for fast correlation attacks, based on Gallager iterative decoding algorithm using parity-check equations of weight greater than 3. Th...
138
click to vote
ICTAI
2009
IEEE
16 years 13 days ago
2009
IEEE
In this paper a new learning scheme for SAT is proposed. The originality of our approach arises from its ability to achieve clause learning even if no conflict occurs. This clear...
149
click to vote
KR
1989
Springer
15 years 9 months ago
1989
Springer
In this work we extend the work of Dean, Kaelbling, Kirman and Nicholson on planning under time constraints in stochastic domains to handle more complicated scheduling problems. I...
115
click to vote
EWCBR
2004
Springer
15 years 11 months ago
2004
Springer
By improving accuracy in the quantification of the ocean’s CO2 budget, a more precise estimation can be made of the terrestrial fraction of global CO2 budget and its subsequent e...
144
click to vote
MSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Existing file access predictors keep track of previous file access patterns and rely on a single heuristic to predict which of the previous successors to the file being currently ...