Sciweavers

8094 search results - page 1 / 1619
» Improvements in Formula Generalization
Sort
View
CADE
2010
Springer
13 years 4 months ago
Monotonicity Inference for Higher-Order Formulas
Abstract. Formulas are often monotonic in the sense that if the formula is satisfiable for given domains of discourse, it is also satisfiable for all larger domains. Monotonicity i...
Jasmin Christian Blanchette, Alexander Krauss
ISMIS
2009
Springer
13 years 10 months ago
Alternative Formulas for Rating Prediction Using Collaborative Filtering
This paper proposes and evaluates several alternate design choices for common prediction metrics employed by neighborhood-based collaborative filtering approach. It first explores ...
Amar Saric, Mirsad Hadzikadic, David Wilson
EUROCRYPT
2011
Springer
12 years 7 months ago
Faster Explicit Formulas for Computing Pairings over Ordinary Curves
Abstract. We describe efficient formulas for computing pairings on ordinary elliptic curves over prime fields. First, we generalize lazy reduction techniques, previously considere...
Diego F. Aranha, Koray Karabina, Patrick Longa, Ca...
ECCC
2010
124views more  ECCC 2010»
13 years 3 months ago
Lower Bounds and Hardness Amplification for Learning Shallow Monotone Formulas
Much work has been done on learning various classes of "simple" monotone functions under the uniform distribution. In this paper we give the first unconditional lower bo...
Vitaly Feldman, Homin K. Lee, Rocco A. Servedio