Sciweavers

130 search results - page 7 / 26
» Binary Representations for General CSPs
Sort
View
AMC
2007
86views more  AMC 2007»
13 years 9 months ago
Further refinement of pairing computation based on Miller's algorithm
In 2006, Blake, Murty and Xu proposed three refinements to Miller’s algorithm for computing Weil/Tate Pairings. In this paper we extend their work and propose a generalized algo...
Chao-Liang Liu, Gwoboa Horng, Te-Yu Chen
GECCO
2003
Springer
113views Optimization» more  GECCO 2003»
14 years 2 months ago
The Effect of Binary Matching Rules in Negative Selection
Negative selection algorithm is one of the most widely used techniques in the field of artificial immune systems. It is primarily used to detect changes in data/behavior patterns...
Fabio A. González, Dipankar Dasgupta, Jonat...
ARSCOM
2005
92views more  ARSCOM 2005»
13 years 8 months ago
Binary Strings Without Odd Runs of Zeros
We look at binary strings of length n which contain no odd run of zeros and express the total number of such strings, the number of zeros, the number of ones, the total number of ...
Ralph Grimaldi, Silvia Heubach
LREC
2010
115views Education» more  LREC 2010»
13 years 10 months ago
A General Methodology for Equipping Ontologies with Time
In the first part of this paper, we present a framework for enriching arbitrary upper or domain-specific ontologies with a concept of time. To do so, we need the notion of a time ...
Hans-Ulrich Krieger
DAC
2003
ACM
14 years 9 months ago
Symbolic representation with ordered function templates
Binary Decision Diagrams (BDDs) often fail to exploit sharing between Boolean functions that differ only in their support variables. In a memory circuit, for example, the function...
Amit Goel, Gagan Hasteer, Randal E. Bryant