Sciweavers

7773 search results - page 1289 / 1555
» On generalized Frame-Stewart numbers
Sort
View
CP
2008
Springer
15 years 8 months ago
Optimization of Simple Tabular Reduction for Table Constraints
Abstract. Table constraints play an important role within constraint programming. Recently, many schemes or algorithms have been proposed to propagate table constraints or/and to c...
Christophe Lecoutre
CP
2008
Springer
15 years 8 months ago
Exploiting Common Subexpressions in Numerical CSPs
It is acknowledged that the symbolic form of the equations is crucial for interval-based solving techniques to efficiently handle systems of equations over the reals. However, only...
Ignacio Araya, Bertrand Neveu, Gilles Trombettoni
CRYPTO
2008
Springer
132views Cryptology» more  CRYPTO 2008»
15 years 8 months ago
Public-Key Locally-Decodable Codes
In this paper we introduce the notion of a Public-Key Encryption Scheme that is also a Locally-Decodable Error-Correcting Code (PKLDC). In particular, we allow any polynomialtime ...
Brett Hemenway, Rafail Ostrovsky
CSCW
2008
ACM
15 years 8 months ago
It's all 'about you': diversity in online profiles
User profiles on today's social networking sites support only a small set of predefined questions. We report on an alternative way for users to richly describe themselves, by...
Casey Dugan, Werner Geyer, Michael J. Muller, Joan...
CSL
2008
Springer
15 years 8 months ago
Quantitative Languages
Quantitative generalizations of classical languages, which assign to each word a real number instead of a boolean value, have applications in modeling resource-constrained computat...
Krishnendu Chatterjee, Laurent Doyen, Thomas A. He...
« Prev « First page 1289 / 1555 Last » Next »