Sciweavers

153 search results - page 27 / 31
» ais 2005
Sort
View
PKC
2005
Springer
89views Cryptology» more  PKC 2005»
14 years 26 days ago
A New Related Message Attack on RSA
Coppersmith, Franklin, Patarin, and Reiter show that given two RSA cryptograms xe mod N and (ax + b)e mod N for known constants a, b ∈ ZN , one can compute x in O(e log2 e) ZN -o...
Oded Yacobi, Yacov Yacobi
RECOMB
2005
Springer
14 years 26 days ago
Examination of the tRNA Adaptation Index as a Predictor of Protein Expression Levels
Phenotypic differences between closely-related species may arise from differential expression regimes, rather than different gene complements. Knowledge of cellular protein levels ...
Orna Man, Joel L. Sussman, Yitzhak Pilpel
SAT
2005
Springer
145views Hardware» more  SAT 2005»
14 years 26 days ago
A New Approach to Model Counting
We introduce ApproxCount, an algorithm that approximates the number of satisfying assignments or models of a formula in propositional logic. Many AI tasks, such as calculating degr...
Wei Wei, Bart Selman
WILF
2005
Springer
86views Fuzzy Logic» more  WILF 2005»
14 years 26 days ago
Intelligent Track Analysis on Navy Platforms Using Soft Computing
We have developed and continue to enhance automated intelligent software that performs the tasks and decision making which now occurs by the personnel manning watch stations in the...
Robert Richards, Richard Stottler, Ben Ball, Cosku...
AAAI
2008
13 years 9 months ago
Lifted First-Order Belief Propagation
Unifying first-order logic and probability is a long-standing goal of AI, and in recent years many representations combining aspects of the two have been proposed. However, infere...
Parag Singla, Pedro Domingos