35 search results - page 3 / 7 » Bit-Sliced Index Arithmetic |
175
click to vote
CP
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents a global constraint that enforces rules written in a language based on arithmetic and first-order logic to hold among a set of objects. In a first step, the rul...
153
click to vote
SAS
2004
Springer
15 years 10 months ago
2004
Springer
Array-Range Analysis computes at compile time the range of possible index values for each array-index expression in a program. This information can be used to detect potential out-...
128
Voted
ESA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. A lexicographic ranking function for the set of all permutations of n ordered symbols translates permutations to their ranks in the lexicographic order of all permutation...
144
click to vote
CP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This article presents a database of about 200 graph invariants for deriving systematically necessary conditions from the graph properties based representation of global c...
156
click to vote
SPIRE
2009
Springer
16 years 3 hour ago
2009
Springer
A new trend in the field of pattern matching is to design indexing data structures which take space very close to that required by the indexed text (in entropy-compressed form) an...