Sciweavers

192 search results - page 17 / 39
» Nondeterminism in Constructive Z
Sort
View
CORR
2010
Springer
60views Education» more  CORR 2010»
14 years 8 months ago
Optimal Partitioned Cyclic Difference Packings for Frequency Hopping and Code Synchronization
— Optimal partitioned cyclic difference packings (PCDPs) are shown to give rise to optimal frequency-hopping sequences and optimal comma-free codes. New constructions for PCDPs, ...
Yeow Meng Chee, Alan C. H. Ling, Jianxing Yin
IJBC
2008
96views more  IJBC 2008»
14 years 8 months ago
Fractional Processes: from Poisson to Branching One
Fractional generalizations of the Poisson process and branching Furry process are considered. The link between characteristics of the processes, fractional differential equations ...
V. V. Uchaikin, D. O. Cahoy, R. T. Sibatov
66
Voted
MOC
2010
14 years 4 months ago
Choosing the correct elliptic curve in the CM method
We give an elementary way to distinguish between the twists of an ordinary elliptic curve E over Fp in order to identify the one with p+1-2U points, when p = U2 + dV 2 with 2U, 2V ...
Karl Rubin, Alice Silverberg
SISAP
2009
IEEE
149views Data Mining» more  SISAP 2009»
15 years 4 months ago
Combinatorial Framework for Similarity Search
—We present an overview of the combinatorial framework for similarity search. An algorithm is combinatorial if only direct comparisons between two pairwise similarity values are ...
Yury Lifshits
76
Voted
CPAIOR
2004
Springer
15 years 1 months ago
Building Models through Formal Specification
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...
Gerrit Renker, Hatem Ahriz