Sciweavers

3670 search results - page 63 / 734
» Linear Recursive Functions
Sort
View
80
Voted
CRYPTO
2006
Springer
89views Cryptology» more  CRYPTO 2006»
15 years 6 months ago
Oblivious Transfer and Linear Functions
Abstract. We study unconditionally secure 1-out-of-2 Oblivious Transfer (1-2 OT). We first point out that a standard security requirement for 1-2 OT of bits, namely that the receiv...
Ivan Damgård, Serge Fehr, Louis Salvail, Chr...
ESOP
2010
Springer
15 years 11 months ago
A PolyTime Functional Language from Light Linear Logic
Patrick Baillot, Marco Gaboardi and Virgile Mogbil
AIPS
2008
15 years 4 months ago
Learning Heuristic Functions through Approximate Linear Programming
Planning problems are often formulated as heuristic search. The choice of the heuristic function plays a significant role in the performance of planning systems, but a good heuris...
Marek Petrik, Shlomo Zilberstein
JCC
2002
73views more  JCC 2002»
15 years 2 months ago
Linear scaling approaches to quantum macromolecular similarity: Evaluating the similarity function
: The evaluation of the electron density based similarity function scales quadratically with respect to the size of the molecules for simplified, atomic shell densities. Due to the...
Pere Constans
116
Voted
CPAIOR
2007
Springer
15 years 8 months ago
On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint
A linear pseudo-Boolean constraint (LPB) is an expression of the form a1 · 1 + . . . + am · m ≥ d, where each i is a literal (it assumes the value 1 or 0 depending on whether a...
Jan-Georg Smaus