Sciweavers

36781 search results - page 201 / 7357
» Parameterizing by the Number of Numbers
Sort
View
92
Voted
MYCRYPT
2005
Springer
189views Cryptology» more  MYCRYPT 2005»
15 years 6 months ago
An Analysis of Double Base Number Systems and a Sublinear Scalar Multiplication Algorithm
In this paper we produce a practical and efficient algorithm to find a decomposition of type n = kˆ i=1 2si 3ti , si, ti ∈ N ∪ {0} with k ≤   c + o(1) ¡ log n log log n ....
Mathieu Ciet, Francesco Sica
84
Voted
SAT
2005
Springer
98views Hardware» more  SAT 2005»
15 years 6 months ago
Faster Exact Solving of SAT Formulae with a Low Number of Occurrences per Variable
We present an algorithm that decides the satisfiability of a
Magnus Wahlström
UM
2005
Springer
15 years 6 months ago
Up and Down the Number-Line: Modelling Collaboration in Contrasting School and Home Environments
This paper is concerned with user modelling issues such as adaptive educational environments, adaptive information retrieval, and support for collaboration. The HomeWork project is...
Hilary Tunley, Benedict du Boulay, Rosemary Luckin...
90
Voted
COMPGEOM
2004
ACM
15 years 6 months ago
Solution of Scott's problem on the number of directions determined by a point set in 3-space
Let P be a set of n points in Ê3 , not all in a common plane. We solve a problem of Scott (1970) by showing that the connecting lines of P assume at least 2n − 7 different dir...
János Pach, Rom Pinchasi, Micha Sharir