1172 search results - page 124 / 235 » Constructions of generalized Sidon sets |
150
click to vote
ISVC
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. Linear systems and eigen-calculations on symmetric diagonally dominant matrices (SDDs) occur ubiquitously in computer vision, computer graphics, and machine learning. In ...
153
click to vote
NOSSDAV
2009
Springer
16 years 29 days ago
2009
Springer
In this paper, we propose a simple and fully distributed mechanism for constructing and maintaining the overlay topology in mesh-based P2P-TV systems. Our algorithm optimizes the ...
166
click to vote
PPDP
2009
Springer
16 years 29 days ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Re...
151
click to vote
SAT
2009
Springer
16 years 29 days ago
2009
Springer
Different quantifier types in Quantified Boolean Formulae (QBF) introduce variable dependencies which have to be taken into consideration when deciding satisfiability of a QBF....
181
click to vote
DATE
2008
IEEE
16 years 27 days ago
2008
IEEE
Mutation analysis is a widely-adopted strategy in software testing with two main purposes: measuring the quality of test suites, and identifying redundant code in programs. Simila...