Sciweavers

14161 search results - page 198 / 2833
» On generalized middle-level problem
Sort
View
CIRA
2007
IEEE
136views Robotics» more  CIRA 2007»
15 years 11 months ago
Algebraic interval constraint driven exploration in human-agent collaborative problem solving
—To enable effective human-agent collaboration, new human-centric computing paradigms are needed. This paper presents a soft constraint representation scheme based on generalized...
Yan Wang
CAV
2003
Springer
127views Hardware» more  CAV 2003»
15 years 9 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...
JCT
2008
59views more  JCT 2008»
15 years 5 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
105
Voted
CORR
2002
Springer
98views Education» more  CORR 2002»
15 years 5 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
MOC
2000
75views more  MOC 2000»
15 years 5 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