25 search results - page 4 / 5 » On-Line Variable Sized Covering |
CRYPTO
1993
Springer
13 years 9 months ago
1993
Springer
Constructions for hash functions based on a block cipher are studied where the size of the hashcode is equal to the block length of the block cipher and where the key size is appro...
ICIP
1997
IEEE
14 years 7 months ago
1997
IEEE
Motion-compensating long-term memory prediction extends the spatial dislplacement utilized in block-based hybrid video coding by a variable time delay permitting the use of more f...
KIVS
1999
Springer
13 years 10 months ago
1999
Springer
: Location Management of mobile users in a cellular network covers tracking and paging (searching) functionality. In this paper a sequential search strategy is proposed which reduc...
AMAI
2005
Springer
13 years 5 months ago
2005
Springer
A CNF formula is called matched if its associated bipartite graph (whose vertices are clauses and variables) has a matching that covers all clauses. Matched CNF formulas are satisf...
SAT
2009
Springer
14 years 8 days ago
2009
Springer
Abstract. We present a new method to break symmetry in graph coloring problems. While most alternative techniques add symmetry breaking predicates in a pre-processing step, we deve...