Sciweavers

14158 search results - page 206 / 2832
» Generalized switch-setting problems
Sort
View
141
Voted
CAV
2003
Springer
127views Hardware» more  CAV 2003»
15 years 7 months ago
Dense Counter Machines and Verification Problems
We generalize the traditional definition of a multicounter machine (where the counters, which can only assume nonnegative integer values, can be incremented/decremented by 1 and te...
Gaoyan Xie, Zhe Dang, Oscar H. Ibarra, Pierluigi S...
107
Voted
JCT
2008
59views more  JCT 2008»
15 years 3 months ago
Partition identities and the coin exchange problem
The number of partitions of n into parts divisible by a or b equals the number of partitions of n in which each part and each difference of two parts is expressible as a non-negati...
Alexander E. Holroyd
92
Voted
CORR
2002
Springer
98views Education» more  CORR 2002»
15 years 3 months ago
Two Representations for Iterative Non-prioritized Change
We address a general representation problem for belief change, and describe two interrelated representations for iterative nonprioritized change: a logical representation in terms...
Alexander Bochman
91
Voted
MOC
2000
75views more  MOC 2000»
15 years 3 months ago
Multihomogeneous Newton methods
Abstract. We study multihomogeneous analytic functions and a multihomogeneous Newton's method for finding their zeros. We give a convergence result for this iteration and we s...
Jean-Pierre Dedieu, Mike Shub
104
Voted
TIT
1998
106views more  TIT 1998»
15 years 3 months ago
About the Asymptotic Accuracy of Barron Density Estimates
—By extending the information-theoretic arguments of previous papers dealing with the Barron-type density estimates, and their consistency in information divergence and chi-squar...
Alain Berlinet, Igor Vajda, Edward C. van der Meul...