570 search results - page 92 / 114 » On the number of zero-sum subsequences |
TPHOL
2007
IEEE
14 years 4 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
SOFSEM
2007
Springer
14 years 4 months ago
2007
Springer
We investigate deterministically simulating (i.e., solving the membership problem for) nondeterministic finite automata (NFA), relying solely on the NFA’s resources (states and ...
HICSS
2006
IEEE
14 years 3 months ago
2006
IEEE
Most markets compromise the economist’s ideal of matching the marginal benefits to consumers with the marginal cost of supply for incremental purchases because individual buyers...
ISCAS
2006
IEEE
14 years 3 months ago
2006
IEEE
We show that an ongoing locomotor pattern can that the physiology of the lamprey's spinal system generalizes to be modulated by application of discrete electrical stimuli to l...
ACMSE
2006
ACM
14 years 3 months ago
2006
ACM
Standardized middleware is used to build large distributed real-time and enterprise (DRE) systems. These middleware are highly flexible and support a large number of features sin...